Amanote Research
Register
Sign In
The Halting Problem for Deductive Synthesis of Logic Programs
doi 10.7551/mitpress/4316.003.0064
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1994
Authors
Unknown
Publisher
The MIT Press
Related search
Automating Deductive Verification for Weak-Memory Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Halting Problem Relativized to Complements
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
A Tutorial on Synthesis of Logic Programs From Specifications
Adding Deductive Logic to a COTS Spreadsheet
Knowledge Engineering Review
Artificial Intelligence
Software
SEMIGROUPS WITH If–then–else AND HALTING PROGRAMS
International Journal of Algebra and Computation
Mathematics
Determinacy Inference for Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extending Logic Programs With Description Logic Expressions for the Semantic Web
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Answer Sets for Prioritized Logic Programs
Ordering Optimisations for Concurrent Logic Programs
