Uniform Circuits, & Boolean Proof Nets

DOI10.1007/978-3-540-72734-7_28zbMath1132.03351OpenAlexW1529635768MaRDI QIDQ5434522

Virgile Mogbil, Vincent Rahli

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_28

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits ⋮ A type-assignment of linear erasure and duplication

This page was built for publication: Uniform Circuits, & Boolean Proof Nets