Amanote Research
Register
Sign In
Comparative Metric Semantics for Commit in Or-Parallel Logic Programming
doi 10.7551/mitpress/4283.003.0023
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1997
Authors
Unknown
Publisher
The MIT Press
Related search
Bialgebraic Semantics for Logic Programming
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
An Infinite-Game Semantics for Well-Founded Negation in Logic Programming
Annals of Pure and Applied Logic
Logic
Logic Programming From the Perspective of Algebraic Semantics
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Parallel Logic Programming Systems on Scalable Architectures
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
The Sync Model: A Parallel Execution Method for Logic Programming
Truthmaker Semantics for Relevant Logic
Journal of Philosophical Logic
Philosophy
The Semantics of Equational Logic Programming as an Instance of CLP
Supercover Semantics for Deontic Action Logic
Journal of Logic, Language and Information
Linguistics
Philosophy
Computer Science
Language
Records for Logic Programming
The Journal of Logic Programming
