Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Sound up-to techniques and Complete abstract domains: Label: en
Rewriting with Frobenius: Label: en
Automaton-Based Criteria for Membership in CTL: Label: en
On computability and tractability for infinite sets: Label: en
Definable decompositions for graphs of bounded linear cliquewidth: Label: en
Regular and First-Order List Functions: Label: en
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow: Label: en
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP: Label: en
Extensional and Intensional Semantic Universes: Label: en
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes: Label: en
Impredicative Encodings of (Higher) Inductive Types: Label: en
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem: Label: en
Syntax and Semantics of Quantitative Type Theory: Label: en
A Simple and Optimal Complementation Algorithm for Büchi Automata: Label: en
Distribution-based objectives for Markov Decision Processes: Label: en
Quasi-Open Bisimilarity with Mismatch is Intuitionistic: Label: en
Continuous Reasoning: Label: en
Inner Models of Univalence: Label: en
Black Ninjas in the Dark: Label: en
Separability by piecewise testable languages and downward closures beyond subwords: Label: en
A theory of linear typings as flows on 3-valent graphs: Label: en
A van Benthem Theorem for Fuzzy Modal Logic: Label: en
Every λ-Term is Meaningful for the Infinitary Relational Model: Label: en
Species, Profunctors and Taylor Expansion Weighted by SMCC: Label: en
Guarded Computational Type Theory: Label: en
A General Framework for Relational Parametricity: Label: en
Computable decision making on the reals and other spaces: Label: en
LMSO: Label: en
A functional interpretation with state: Label: en
Allegories: Label: en
Differential Equation Axiomatization: Label: en
Syntax and Semantics for Operations with Scopes: Label: en
On the number of types in sparse graphs: Label: en
Parameterized circuit complexity of model-checking on sparse structures: Label: en
Degrees of Relatedness: Label: en
MSO Queries on Trees: Label: en
A Fixpoint Logic and Dependent Effects for Temporal Property Verification: Label: en
The Geometry of Computation-Graph Abstraction: Label: en
Dialectica models of type theory: Label: en
An answer to the Gamma question: Label: en
A sequent calculus with dependent types for classical arithmetic: Label: en
Riesz Modal Logic with Threshold Operators: Label: en
An Asynchronous Soundness Theorem for Concurrent Separation Logic: Label: en
Ribbon Tensorial Logic: Label: en
An Algebraic Theory of Markov Processes: Label: en
Boolean-Valued Semantics for the Stochastic λ-Calculus: Label: en
Enriching a Linear/Non-linear Lambda Calculus: Label: en
Probabilistic Böhm Trees and Probabilistic Separation: Label: en
A modal μ perspective on solving parity games in quasi-polynomial time: Label: en
Around Classical and Intuitionistic Linear Logics: Label: en