Petri nets, Horn programs, linear logic, and vector games

DOI10.1007/3-540-57887-0_119MaRDI QIDQ4490754zbMATH OpenFDO

Authors Max Kanovich

Publication date 20 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57887-0_119

Mathematics Subject Classification ID

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

Recommendations

• Petri nets, Horn programs, linear logic and vector games
• From Petri nets to linear logic
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
• Linear logic as a logic of computations
• From Petri nets to linear logic

Cited in

(7)

• Decidability of linear affine logic
• Petri nets, Horn programs, linear logic and vector games
• Linear logic automata
• Relational semantics for a fragment of linear logic
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
• From Petri nets to linear logic
• Timed Petri nets and temporal linear logic

This page was built for publication: Petri nets, Horn programs, linear logic, and vector games

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