The following pages link to Ampersand (Q32755):
Displaying 5 items.
- Finding models through graph saturation (Q1785854) (← links)
- Relation algebra as programming language using the Ampersand compiler (Q1785856) (← links)
- Type Checking by Domain Analysis in Ampersand (Q3460627) (← links)
- Parsing and Printing of and with Triples (Q5283209) (← links)
- Software Development in Relation Algebra with Ampersand (Q5283210) (← links)