Pages that link to "Item:Q5899313"
From MaRDI portal
The following pages link to Relational Methods in Computer Science (Q5899313):
Displaying 3 items.
- Subrecursive equivalence relations and (non-)closure under lattice operations (Q2117798) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)