Pages that link to "Item:Q1036130"
From MaRDI portal
Displaying 2 items.
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised s (Q1890040) (← links)