Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by JACOB M. HOWE
Efficient Groundness Analysis in Prolog
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Proof Search in Lax Logic
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Prolog
Reihe Rechtswissenschaft
Prolog
A Practical Type Analysis for Verification of Modular Prolog Programs
Prolog WebSite
LFG System in Prolog
The YAP Prolog System
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Lazy Stream Programming in Prolog
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
PrologCheck – Property-Based Testing in Prolog
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Advanced Silicon Compiler in Prolog
