Login / Signup
A Sequential Abstract Machine for a Distributed Logic Language.
José C. Cunha
Manuel B. Carvalhosa
Published in:
ACM Conference on Computer Science (1992)
Keyphrases
</>
abstract machine
data model
distributed systems
cooperative
specification language
distributed environment
logic programming
peer to peer
language learning
query language
programming language
database
knowledge representation
multi agent
fault tolerant
modal logic
neural network
conditional logic
formal theory
intuitionistic logic
databases