scientific article; zbMATH DE number 1499086

MaRDI QIDQ4501140zbMATH OpenFDO

Authors Alexander M. Dekhtyar

Publication date 3 September 2000

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Linear logic for nets with bounded resources
• scientific article; zbMATH DE number 1678395
• Completeness results for linear logic on Petri nets
• Proof nets sequentialisation in multiplicative linear logic
• The completeness of linear logic for Petri net models

Cited in

(2)

• Linear logic for nets with bounded resources
• scientific article; zbMATH DE number 1678395 (Why is no real title available?)

This page was built for publication:

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