Relational Methods in Computer Science
From MaRDI portal
(Redirected from Publication:5899306)
Relational Methods in Computer Science (scientific article; zbMATH DE number 5148665)
Relational Methods in Computer Science (scientific article; zbMATH DE number 5148665)
Recommendations
Cited in
(14)- Applying relation algebra and RelView to solve problems on orders and lattices
- A computational model of relational algebra
- A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities
- scientific article; zbMATH DE number 1953899 (Why is no real title available?)
- scientific article; zbMATH DE number 4028949 (Why is no real title available?)
- Column-wise extendible vector expressions and the relational computation of sets of sets
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
- Implementing relational specifications in a constraint functional logic language
- Multi-objective Problems in Terms of Relational Algebra
- scientific article; zbMATH DE number 1533821 (Why is no real title available?)
- Preparing relational algebra for ``just good enough hardware
- The Boolean solution problem from the perspective of predicate logic
- A relation-algebraic approach to simple games
- How to augment a formal system with a Boolean algebra component
This page was built for publication: Relational Methods in Computer Science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899306)
