Login / Signup
Proof Nets and Boolean Circuits.
Kazushige Terui
Published in:
LICS (2004)
Keyphrases
</>
real valued
boolean functions
high speed
truth table
digital circuits
geometry theorem proving
linear logic
proof planning
vlsi circuits
delay insensitive
automated theorem proving
tunnel diode
analog vlsi
logical rules
logic circuits
real time
theorem prover
knowledge representation
search space