Bijective proofs of two broken circuit theorems.
Andreas BlassBruce E. SaganPublished in: J. Graph Theory (1986)
Keyphrases
- sequent calculus
- cut elimination
- high speed
- proof search
- circuit design
- natural deduction
- theorem prover
- inference rules
- linear logic
- electronic circuits
- theorem proving
- analog circuits
- analog vlsi
- delay insensitive
- genetic algorithm
- modal logic
- interactive theorem proving
- formal proofs
- mathematical knowledge
- formal proof
- expert systems