Login / Signup
A New Transformation based on Process-Message Duality for Concurrent Logic Languages.
Kouichi Kumon
Keiji Hirata
Published in:
ICLP (1994)
Keyphrases
</>
expressive power
modal logic
learning algorithm
process model
cross lingual
predicate logic