4 search results for "tag:"keyword: reflection""

keyword: BDD keyword: binary decision diagrams keyword: classical logic keyword: propositional logic keyword: validity keyword: satisfiability keyword: model checking keyword: reflection category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category: Miscellaneous/Extracted Programs/Decision procedures date: May-July 1999

keyword: graphs keyword: graph theory keyword: cycle detection keyword: paths keyword: constraints keyword: inequalities keyword: reflection category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category: Miscellaneous/Extracted Programs/Combinatorics

keyword: first-order logic keyword: natural deduction keyword: reflection keyword: proof terms keyword: de Bruijn indices keyword: permutative conversions category: Mathematics/Logic/Foundations date: 15 April 2005

keyword: BDD keyword: binary decision diagrams keyword: classical logic keyword: propositional logic keyword: garbage collection keyword: modal mu-calculus keyword: model checking keyword: symbolic model checking keyword: reflection category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures date: 2002-11