Structured algebraic specifications: A kernel language
Theoretical Computer Science
The/Munich Project CIP
A completeness theorem for Kleene algebras and the algebra of regular events
Papers presented at the IEEE symposium on Logic in computer science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computation calculus bridging a formalization gap
Science of Computer Programming - Special issue on mathematics of program construction
A Discipline of Programming
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Journal of Automated Reasoning
An Equational Axiomatization of Dynamic Negation and Relational Composition
Journal of Logic, Language and Information
Automating the Design of Algorithm
Proceedings of the IFIP TC2/WG 2.1 State-of-the-Art Report on Formal Program Development
On the Semantics of Fair Parallelism
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Propositional Logics of Programs: New Directions
Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory
Specware: Formal Support for Composing Software
MPC '95 Mathematics of Program Construction
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
CAAP '83 Proceedings of the 8th Colloquium on Trees in Algebra and Programming
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Structured theories and institutions
Theoretical Computer Science
Mathematical Structures in Computer Science
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Algebras of modal operators and partial correctness
Theoretical Computer Science - Algebraic methodology and software technology
ACM Transactions on Computational Logic (TOCL)
Science of Computer Programming
Refinement Algebra for Probabilistic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Reasoning in Kleene Algebra
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Enabledness and termination in refinement algebra
Science of Computer Programming
Automated verification of refinement laws
Annals of Mathematics and Artificial Intelligence
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
Cardinal Addition in Distributive Allegories
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Automated engineering of relational and algebraic methods in isabelle/hol
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Pathfinding through congruences
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Towards an algebra of routing tables
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
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
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
On the cardinality of relations
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
Using probabilistic kleene algebra for protocol verification
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
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
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
| Hi-index | 0.00 |
We provide a set of syntactic tools for structuring large collections of logical theories. Their use is demonstrated by a formalisation of algebras that are used in describing the semantics of concepts in programming languages, but also of more general systems.