Publication:4490754
From MaRDI portal
zbMath0942.03526MaRDI QIDQ4490754
Publication date: 20 July 2000
03B70: Logic in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Decidability of linear affine logic, Petri nets, Horn programs, linear logic and vector games, Linear logic automata