Relational Methods in Computer Science

DOI10.1007/11734673zbMath1185.03090OpenAlexW2482623798MaRDI QIDQ5899306

Ulf Milanese, Rudolf Berghammer

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11734673

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (5)

Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets ⋮ Multi-objective Problems in Terms of Relational Algebra ⋮ A relation-algebraic approach to simple games ⋮ Applying relation algebra and RelView to solve problems on orders and lattices ⋮ Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types

Uses Software

• RelView
• SATLIB

This page was built for publication: Relational Methods in Computer Science