The following pages link to (Q3707383):
Displaying 11 items.
- Representations of algebraic domains and algebraic L-domains by information systems (Q276406) (← links)
- Observationally-induced algebras in domain theory (Q276418) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Combining data type and recursive process specifications using projection algebras (Q910188) (← links)
- Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics (Q941187) (← links)
- On the algebraic specification of infinite objects - ordered and continuous models of algebraic types (Q1057642) (← links)
- Relation algebraic domain constructions (Q1177156) (← links)
- Special issue on domain theory (Q1295217) (← links)
- On a generalized product for domains (Q1311968) (← links)
- Latest News about Demonic Algebra with Domain (Q3498405) (← links)
- Algebraic specifications for domain theory (Q5096170) (← links)