The following pages link to (Q5636307):
Displayed 37 items.
- Iterative factor algebras and induced metrics (Q790606) (← links)
- Algebraic domain equations (Q1054464) (← links)
- P-varieties - a signature independent characterization of varieties of ordered algebras (Q1054761) (← links)
- Order completion monads (Q1055871) (← links)
- Infinite-word languages and continuous mappings (Q1082087) (← links)
- L.P.L. A fuzzy programming language. I: Syntactic aspects (Q1136234) (← links)
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs (Q1136494) (← links)
- Partially additive categories and flow-diagram semantics (Q1137858) (← links)
- L.P.L. - A fuzzy programming language. II: Semantic aspects (Q1141483) (← links)
- Unique fixed points vs. least fixed points (Q1142573) (← links)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I (Q1143165) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Petri nets, event structures and domains. I (Q1148680) (← links)
- An algebraic definition for control structures (Q1151016) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- Tree constructions of free continuous algebras (Q1160149) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- Fixed point theorems and semantics: A folk tale (Q1166268) (← links)
- Regular trees and the free iterative theory (Q1169813) (← links)
- On rational definitions in complete algebras without rank (Q1171374) (← links)
- Varieties of ordered algebras (Q1229897) (← links)
- Una classe di schemi ricorsivi non-deterministici paralleli (Q1240551) (← links)
- Program invariants as fixedpoints (Q1254848) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- Translatability of schemas over restricted interpretations (Q1844072) (← links)
- On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs (Q1845472) (← links)
- Positive varieties of tree languages (Q2576866) (← links)
- A concrete realization of the Hoare powerdomain (Q2642996) (← links)
- Parallélisation sémantique (Q3479539) (← links)
- (Q3665882) (← links)
- (Q3685159) (← links)
- Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes (Q3774922) (← links)
- Algebraic specification of data types: A synthetic approach (Q3907066) (← links)
- Recursive data structures (Q4055171) (← links)
- (Q4139645) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)