Using relation-algebraic means and tool support for investigating and computing bipartitions
From MaRDI portal
Publication:2360655
DOI10.1016/j.jlamp.2017.04.001zbMath1371.68170OpenAlexW2614067919MaRDI QIDQ2360655
Michael Winter, Rudolf Berghammer, Insa Stucke
Publication date: 4 July 2017
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2017.04.001
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
Cites Work
- Computing kernels in directed bichromatic graphs
- Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 -- October 1, 2015. Proceedings
- Dedekind categories with cutoff operators
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Embedding mappings and splittings with applications
- Non-embeddable simple relation algebras
- Isabelle/HOL. A proof assistant for higher-order logic
- Deciding Kleene Algebras in Coq
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- Relations among Matrices over a Semiring
- Investigating and Computing Bipartitions with Algebraic Means
- Tool-Based Verification of a Relational Vertex Coloring Program
- An Ordered Category of Processes
- On Automating the Calculus of Relations
- On Automated Program Construction and Verification
- Complements in Distributive Allegories
- Kleene Algebra with Tests and Coq Tools for while Programs
- Automated Verification of Relational While-Programs
- Computer Algebra in Scientific Computing
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Using relation-algebraic means and tool support for investigating and computing bipartitions
