Pages that link to "Item:Q1890040"
From MaRDI portal
Displaying 3 items.
- Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15--18, 2017. Proceedings (Q528576) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)