Pages that link to "Item:Q5712432"
From MaRDI portal
The following pages link to Relational and Kleene-Algebraic Methods in Computer Science (Q5712432):
Displaying 14 items.
- Data analysis using a geometrical representation of predicate calculus (Q578939) (← links)
- The calculus of context relations (Q918720) (← links)
- Tuple calculus: formal definition and conversion from first-order calculus (Q1097051) (← links)
- A typed pattern calculus (Q1908354) (← links)
- Towards a formal framework for heterogeneous relation algebra (Q1961865) (← links)
- An algebra of database preferences (Q2347915) (← links)
- A safe relational calculus for functional logic deductive databases (Q2844062) (← links)
- An Algebraic Calculus of Database Preferences (Q2908570) (← links)
- A Logic of Type Relations and its Applications to Relational Databases (Q3431974) (← links)
- (Q4281669) (← links)
- A record calculus with principal types (Q5096310) (← links)
- Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations (Q5262475) (← links)
- Polymorphic type inference for the named nested relational calculus (Q5277792) (← links)
- Typed homomorphic relations extended with subtypes (Q6116569) (← links)