Design and implementation of a concurrent logic programming language with linear logic constraints

DOI10.4230/LIPICS.ICLP.2010.277MaRDI QIDQ2883106zbMATH OpenOpenAlexFDO

Authors Thierry Martinez

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_6f82.html

zbMATH Keywords

concurrent logic programming

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 517089
• Linear concurrent constraint programming: Operational and phase semantics
• scientific article; zbMATH DE number 1223634
• Observational equivalences for linear logic concurrent constraint languages
• scientific article; zbMATH DE number 1761892

Cited in

(3)

• A linear logic programming language for concurrent programming over graph structures
• scientific article; zbMATH DE number 1333354 (Why is no real title available?)
• scientific article; zbMATH DE number 1761892 (Why is no real title available?)

This page was built for publication: Design and implementation of a concurrent logic programming language with linear logic constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883106)