Pages that link to "Item:Q5096302"
From MaRDI portal
The following pages link to A confluent relational calculus for higher-order programming with constraints (Q5096302):
Displaying 3 items.
The following pages link to A confluent relational calculus for higher-order programming with constraints (Q5096302):
Displaying 3 items.