Publication:4938434
From MaRDI portal
zbMath0974.03050MaRDI QIDQ4938434
Roberto Maieli, Jean-Marc Andreoli
Publication date: 7 December 2001
03B70: Logic in computer science
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Uses Software