On Linear Logic Planning and Concurrency

DOI10.1007/978-3-540-88282-4_24zbMath1156.03327OpenAlexW1963860093MaRDI QIDQ3540118

Ozan Kahramanoğulları

Publication date: 20 November 2008

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88282-4_24

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (3)

Planning with regression analysis in transaction logic ⋮ Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic ⋮ Formalizing Goal Serializability for Evaluation of Planning Features

This page was built for publication: On Linear Logic Planning and Concurrency