Amanote Research
Register
Sign In
Records for Logic Programming
The Journal of Logic Programming
doi 10.1016/0743-1066(94)90044-2
Full Text
Open PDF
Abstract
Available in
full text
Date
April 1, 1994
Authors
Gert Smolka
Ralf Treinen
Publisher
Elsevier BV
Related search
Bialgebraic Semantics for Logic Programming
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Logic Programming
Calculi for Disjunctive Logic Programming
Logic and Lattices for Distributed Programming
Representing Biases for Inductive Logic Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Continuation Compilation for Concurrent Logic Programming
Service-Oriented Logic Programming
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Extending Answer Sets for Logic Programming Agents
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Integrating Answer Set Programming and Constraint Logic Programming
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
