Amanote Research
Register
Sign In
On Extra Variables in (Equational) Logic Programming
doi 10.7551/mitpress/4298.003.0065
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1995
Authors
Unknown
Publisher
The MIT Press
Related search
Representing Actions in Equational Logic Programming
Global Variables in Logic Programming
The Semantics of Equational Logic Programming as an Instance of CLP
On Logical Constraints in Logic Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic Programming
Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming
Machine Learning
Artificial Intelligence
Software
Parallel Logic Programming Systems on Scalable Architectures
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Service-Oriented Logic Programming
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
