The following pages link to (Q3313252):
Displayed 5 items.
- Observation equivalence as a testing equivalence (Q580965) (← links)
- Using information systems to solve recursive domain equations (Q808273) (← links)
- The Hoare and Symth power domain constructors commute under composition (Q912880) (← links)
- Topology, domain theory and theoretical computer science (Q1295216) (← links)
- Clausal logic and logic programming in algebraic domains (Q1854478) (← links)