Pages that link to "Item:Q1251892"
From MaRDI portal
The following pages link to On some classes of interpretations (Q1251892):
Displayed 12 items.
- Implementation of data types by algebraic methods (Q792753) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Axiomatisation des tests (Q1062748) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- A complete logic for reasoning about programs via nonstandard model theory. I (Q1159460) (← links)
- Program transformations and algebraic semantics (Q1254849) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- A unifying theorem for algebraic semantics and dynamic logics (Q1821095) (← links)
- Recursion induction principle revisited (Q1838286) (← links)
- Infinite trees in normal form and recursive equations having a unique solution (Q3851585) (← links)
- (Q4139645) (← links)