The following pages link to (Q4023900):
Displayed 50 items.
- On the completeness and decidability of duration calculus with iteration (Q557828) (← links)
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic (Q596035) (← links)
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- Elements of generalized ultrametric domain theory (Q672055) (← links)
- A hierarchy of temporal logics with past (Q672329) (← links)
- Natural termination (Q673622) (← links)
- Translations between modal logics of reactive systems (Q674003) (← links)
- Termination is not modular for confluent variable-preserving term rewriting systems (Q674186) (← links)
- The probabilistic powerdomain for stably compact spaces (Q703479) (← links)
- Syntactic control of concurrency (Q817845) (← links)
- A logical approach to stable domains (Q859843) (← links)
- A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic (Q859844) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- The two-way rewriting in action: removing the mystery of Euler-Glaisher's map (Q882113) (← links)
- Infinitary rewriting: meta-theory and convergence (Q884993) (← links)
- Termination of just/fair computations in term rewriting (Q924727) (← links)
- Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
- On \((LC, s)\)-continuous functions (Q953583) (← links)
- Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
- Topology on words (Q1019711) (← links)
- Applications of infinitary lambda calculus (Q1021568) (← links)
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- How to win a game with features (Q1271569) (← links)
- Explicit substitution. On the edge of strong normalization (Q1274458) (← links)
- Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Properly injective spaces and function spaces (Q1295213) (← links)
- A complete equational axiomatization for prefix iteration (Q1342264) (← links)
- On modal mu-calculus and Büchi tree automata (Q1349728) (← links)
- PCF extended with real numbers (Q1349926) (← links)
- Fast and simple nested fixpoints (Q1350911) (← links)
- Strong normalization for non-structural subtyping via saturated sets (Q1351999) (← links)
- Axiomatising extended computation tree logic (Q1389439) (← links)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations (Q1389440) (← links)
- Possibilistic reasoning -- a mini-survey and uniform semantics (Q1391902) (← links)
- Developing developments (Q1392147) (← links)
- Revisiting the notion of function (Q1394989) (← links)
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Algebraic models of correctness for abstract pipelines. (Q1426058) (← links)
- Ideal models of spaces. (Q1427784) (← links)
- Some points in formal topology. (Q1427787) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)