RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Simplify: a theorem prover for program checking
Journal of the ACM (JACM)
Canonization for disjoint unions of theories
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Strategies for combining decision procedures
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Modular proof systems for partial functions with Evans equality
Information and Computation - Special issue: Combining logical systems
New results on rewrite-based satisfiability procedures
ACM Transactions on Computational Logic (TOCL)
Combination of convex theories: Modularity, deduction completeness, and explanation
Journal of Symbolic Computation
Combining Non-stably Infinite, Non-first Order Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Canonization for disjoint unions of theories
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Strategies for combining decision procedures
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Functional equations in shostak theories
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Nelson-Oppen, shostak and the extended canonizer: a family picture with a newborn
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Combining data structures with nonstably infinite theories using many-sorted logic
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Hierarchic reasoning in local theory extensions
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
On the verification of security-aware E-services
Journal of Symbolic Computation
Hi-index | 0.00 |