scientific article; zbMATH DE number 1479638
From MaRDI portal
Publication:4490754
zbMath0942.03526MaRDI QIDQ4490754
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
Petri nets, Horn programs, linear logic and vector games ⋮ Linear logic automata ⋮ Decidability of linear affine logic
This page was built for publication:
