16 search results - page 4 / 4 » Natural Quantum Operational Semantics with Predicates |
118
click to vote
CAV
1999
Springer
15 years 7 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...