scientific article; zbMATH DE number 2080935

MaRDI QIDQ4474005zbMATH OpenFDO

Authors Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2235/22350045.htm

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1670607
• scientific article; zbMATH DE number 1787150
• scientific article; zbMATH DE number 1786546
• scientific article; zbMATH DE number 918108
• Reasoning with sentences and diagrams

Cited in

(5)

• scientific article; zbMATH DE number 1670607 (Why is no real title available?)
• scientific article; zbMATH DE number 1670622 (Why is no real title available?)
• scientific article; zbMATH DE number 2016094 (Why is no real title available?)
• scientific article; zbMATH DE number 1786546 (Why is no real title available?)
• On the specification of visual languages: multisets as first-class citizens

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 Q4474005)