Distributed concurrent linear logic programming

DOI10.1016/S0304-3975(99)00052-3zbMath0954.68033OpenAlexW2045429762WikidataQ127763888 ScholiaQ127763888MaRDI QIDQ1575879

Naoki Kobayashi, Akinori Yonezawa, Toshihiro Shimizu

Publication date: 23 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00052-3

zbMATH Keywords

distributed concurrent linear logic programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Linear and affine logics with temporal, spatial and epistemic operators ⋮ Temporal BI: proof system, semantics and translations

This page was built for publication: Distributed concurrent linear logic programming