Pages that link to "Item:Q1583487"
From MaRDI portal
The following pages link to An application of lattice theory to knowledge representation (Q1583487):
Displayed 5 items.
- Fixed points without completeness (Q674192) (← links)
- Semantical analysis of specification logic (Q913527) (← links)
- Continuations in possible-world semantics (Q1178704) (← links)
- Full abstraction and recursion (Q1365671) (← links)
- Distributive Lattice-Structured Ontologies (Q2888493) (← links)