The following pages link to (Q4011708):
Displaying 11 items.
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- A relation algebraic model of robust correctness (Q1350502) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- Reflective programming in the relational algebra (Q1924387) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- (Q3210908) (← links)
- Algebras of Relations and Relevance Logic (Q3623220) (← links)
- An algebraic approach to temporal logic (Q5096734) (← links)
- Software Development in Relation Algebra with Ampersand (Q5283210) (← links)
- Relational and algebraic methods in computer science (Q5890784) (← links)