Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by ANDY KING
Efficient Groundness Analysis in Prolog
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Computing Convex Hulls With a Linear Solver
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
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
