Pages that link to "Item:Q5096170"
From MaRDI portal
The following pages link to Algebraic specifications for domain theory (Q5096170):
Displaying 9 items.
- Observationally-induced algebras in domain theory (Q276418) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Topological methods for algebraic specification (Q671657) (← links)
- Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics (Q941187) (← links)
- Relation algebraic domain constructions (Q1177156) (← links)
- Special issue on domain theory (Q1295217) (← links)
- A decomposition theorem for domains (Q1908355) (← links)
- Dedekind completion as a method for constructing new Scott domains (Q2841264) (← links)
- (Q3707383) (← links)