Non-deterministic Boolean Proof Nets
From MaRDI portal
Publication:5747635
DOI10.1007/978-3-642-15331-0_9zbMath1306.03015OpenAlexW16980785MaRDI QIDQ5747635
Publication date: 14 September 2010
Published in: Foundational and Practical Aspects of Resource Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15331-0_9
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
This page was built for publication: Non-deterministic Boolean Proof Nets
