Amanote Research
Register
Sign In
A Tutorial on Synthesis of Logic Programs From Specifications
doi 10.7551/mitpress/4316.003.0010
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1994
Authors
Unknown
Publisher
The MIT Press
Related search
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tutorial on Separation Logic (Invited Tutorial)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parallelizing Synthesis From Temporal Logic Specifications by Identifying Equicontrollable States
Robotics Research
A Short Tutorial on Order-Invariant First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synthesizing Adaptive Test Strategies From Temporal Logic Specifications
Model Synthesis From Imprecise Specifications
Deriving Real-Time Programs From Duration Calculus Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Halting Problem for Deductive Synthesis of Logic Programs
LearnLib Tutorial: From Finite Automata to Register Interface Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
