Pages that link to "Item:Q1349250"
From MaRDI portal
The following pages link to A rewriting approach to binary decision diagrams (Q1349250):
Displayed 4 items.
- Resolution and binary decision diagrams cannot simulate each other polynomially (Q1408378) (← links)
- Zero, successor and equality in BDDs (Q1772774) (← links)
- Decomposing probabilistic lambda calculi (Q2200818) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)