ACM Transactions on Programming Languages and Systems (TOPLAS)
On Hoare logic and Kleene algebra with tests
ACM Transactions on Computational Logic (TOCL)
Certification of Compiler Optimizations Using Kleene Algebra with Tests
CL '00 Proceedings of the First International Conference on Computational Logic
Substructural logic and partial correctness
ACM Transactions on Computational Logic (TOCL)
Some results in dynamic model theory
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
A coalgebraic approach to Kleene algebra with tests
Theoretical Computer Science - Selected papers of CMCS'03
Conceptual modelling of web information systems
Data & Knowledge Engineering
ACM Transactions on Computational Logic (TOCL)
Personalisation of web information systems - A term rewriting approach
Data & Knowledge Engineering
Latest news about demonic algebra with domain
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Automatic proof generation in Kleene algebra
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Clausal Tableaux for Hybrid PDL
Electronic Notes in Theoretical Computer Science (ENTCS)
Static analysis of programs using omega algebra with tests
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
A framework for kleene algebra with an embedded structure
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
Verification of pushdown systems using omega algebra with domain
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
An algorithmic approach to high-level personalisation of web information systems
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
On the representation of kleene algebras with tests
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
An efficient coq tactic for deciding kleene algebras
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Kleene algebra with tests and coq tools for while programs
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
On the average size of glushkov and equation automata for KAT expressions
FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory
NetKAT: semantic foundations for networks
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
Hi-index | 0.00 |