Pages that link to "Item:Q1136494"
From MaRDI portal
The following pages link to Metric interpretations of infinite trees and semantics of non deterministic recursive programs (Q1136494):
Displaying 29 items.
- Infinitary rewriting: meta-theory and convergence (Q884993) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- On infinite computations in denotational semantics (Q1051414) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- Recursion over realizability structures (Q1173956) (← links)
- Algebraic and fixed point equations over inverse limits of algebras (Q1177146) (← links)
- Contraction algebras and unification of (infinite) terms (Q1185240) (← links)
- Fairness, distances and degrees (Q1193862) (← links)
- Strong fairness and ultra metrics (Q1193893) (← links)
- Banach's fixed-point theorem as a base for data-type equations (Q1330915) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Quantitative logics for equivalence of effectful programs (Q2133179) (← links)
- Infinitary rewriting: closure operators, equivalences and models (Q2376981) (← links)
- The alternation hierarchy in fixpoint logic with chop is strict too (Q2509356) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Modularity of Convergence in Infinitary Rewriting (Q3636826) (← links)
- (Q3704795) (← links)
- Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes (Q3774922) (← links)
- Generalizing finiteness conditions of labelled transition systems (Q4632441) (← links)
- (Q5020616) (← links)
- Differential logical relations, Part I: The simply-typed case (Q5091273) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Liminf progress measures (Q6171780) (← links)
