Login / Signup
Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints.
Thierry Martinez
Published in:
ICLP (Technical Communications) (2010)
Keyphrases
</>
linear logic
logic programming language
logic programming
constraint logic programming
database systems
bayesian networks
programming language
temporal reasoning
constraint solving