Login / Signup
Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs.
Pascal Chambre
Pierre Deransart
Published in:
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Keyphrases
</>
logic programs
logic programming
inside outside algorithm
machine learning
object oriented
answer sets
stable models