Second-Order Quantifier Elimination in Modal Contexts
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Quantifier elimination in elementary set theory
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
On the fixpoint theory of equality and its applications
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
| Hi-index | 0.00 |