You have Guest access.
Log In
Rudolf Berghammer, Bernhard Möller and Georg Struth
Front matter
1-2
Formal Methods and the Theory of Social Choice
3
Relations Making Their Way from Logics to Mathematics and Applied Sciences Invited Lecture
4-21
Boolean Logics with Relations
22-36
Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
37-53
A Relation Algebraic Semantics for a Lazy Functional Logic Language
54-68
Latest News about Demonic Algebra with Domain
69-83
On the Structure of Demonic Refinement Algebras with Enabledness and Termination
84-98
Multi-objective Problems in Terms of Relational Algebra
99-109
The Lattice of Contact Relations on a Boolean Algebra
110-122
A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
123-137
Increasing Bisemigroups and Algebraic Routing
138-154
Lazy Relations
155-172
The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy
173-190
The Algebraic Approach II: Dioids, Quantales and Monads
191-205
Automated Reasoning for Hybrid Systems — Two Case Studies —
206-220
Non-termination in Idempotent Semirings
221-233
Formal Concepts in Dedekind Categories
234-242
The Structure of the One-Generated Free Domain Semiring
243-258
Determinisation of Relational Substitutions in Ordered Categories with Domain
259-273
Boolean Algebras and Stone Maps in Schröder Categories
274-288
Cardinality in Allegories
289-303
Solving Linear Equations in *-continuous Action Lattices
304-319
Reactive Probabilistic Programs and Refinement Algebra
320-336
Knowledge and Games in Modal Semirings
337-351
Theorem Proving Modulo Based on Boolean Equational Procedures
352-366
Rectangles, Fringes, and Inverses
367-381
An Ordered Category of Processes
382-396
Automatic Proof Generation in Kleene Algebra
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info