Semantics of the reFLect language
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Isomorphisms of simple inductive types through extensional rewriting
Mathematical Structures in Computer Science
Strategies for combining decision procedures
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Modal Tools for Separation and Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |