The following pages link to (Q3738547):
Displayed 23 items.
- Iterative and recursive matrix theories (Q595766) (← links)
- Basic notions of universal algebra for language theory and graph grammars (Q671349) (← links)
- Separately continuous algebras (Q790140) (← links)
- Iterative factor algebras and induced metrics (Q790606) (← links)
- Implementation of data types by algebraic methods (Q792753) (← links)
- Infinitary tree languages recognized by \(\omega\)-automata (Q794179) (← links)
- Axiomatisation des tests (Q1062748) (← links)
- Variétés d'automates descendants d'arbres infinis (Q1079382) (← links)
- On context-free trees (Q1082826) (← links)
- About fair asynchrony (Q1085603) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Algebraic and fixed point equations over inverse limits of algebras (Q1177146) (← links)
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- The evaluation of first-order substitution is monadic second-order compatible (Q1603690) (← links)
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
- A unifying theorem for algebraic semantics and dynamic logics (Q1821095) (← links)
- Recursion induction principle revisited (Q1838286) (← links)
- A domain equation for bisimulation (Q2639646) (← links)
- Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming (Q2640347) (← links)
- The laws of Occam programming (Q2640348) (← links)