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