Pages that link to "Item:Q3883492"
From MaRDI portal
The following pages link to Formal computations of non deterministic recursive program schemes (Q3883492):
Displaying 13 items.
- Automata on infinite objects and their applications to logic and programming (Q582913) (← links)
- Iterative and recursive matrix theories (Q595766) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Distributive semantics for nondeterministic typed \(\lambda\)-calculi (Q760418) (← links)
- Infinitary tree languages recognized by \(\omega\)-automata (Q794179) (← links)
- Variétés d'automates descendants d'arbres infinis (Q1079382) (← links)
- Algebraic and fixed point equations over inverse limits of algebras (Q1177146) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- A short scientific biography of Maurice Nivat (Q1605477) (← links)
- Context-free series on trees (Q1854452) (← links)
- Linear context-free tree languages and inverse homomorphisms (Q2280337) (← links)
- Pushdown tree automata (Q3036724) (← links)
- Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes (Q3774922) (← links)
