Amanote Research
Register
Sign In
Logic and Lattices for Distributed Programming
doi 10.1145/2391229.2391230
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2012
Authors
Neil Conway
William R. Marczak
Peter Alvaro
Joseph M. Hellerstein
David Maier
Publisher
ACM Press
Related search
Records for Logic Programming
The Journal of Logic Programming
Bialgebraic Semantics for Logic Programming
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Logic Programming
Calculi for Disjunctive Logic Programming
The Glue Logic: An Integrated Programming/Execution Environment for Distributed Manufacturing Work-Cell Control System
Representing Biases for Inductive Logic Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Continuation Compilation for Concurrent Logic Programming
Integrating Answer Set Programming and Constraint Logic Programming
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming
Machine Learning
Artificial Intelligence
Software
