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 33 results in range #1 to #33.

Choice and Uncertainty in Games: Label: en
Combining Epistemic Logic and Hennessy-Milner Logic: Label: en
Overloading Is NP-Complete: Label: en
A Complete Logical System for the Equality of Recursive Terms for Sets: Label: en
On Topological Completeness of Regular Tree Languages: Label: en
On the Final Coalgebra of Automatic Sequences: Label: en
Nuprl as Logical Framework for Automating Proofs in Category Theory: Label: en
Capsules and Closures: A Small-Step Approach: Label: en
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model: Label: en
Subtyping for F-Bounded Quantifiers and Equirecursive Types: Label: en
The Compass That Steered Robotics: Label: en
Meditations on Quantified Constraint Satisfaction: Label: en
Experimental Descriptive Complexity: Label: en
Brzozowski’s Algorithm (Co)Algebraically: Label: en
Residuated Kleene Algebras: Label: en
Rock’n’Roll Computer Science: Label: en
Dexter as a PhD Advisor: Label: en
Travelling with Dexter Kozen: Label: en
To Dexter - A Tribute from Aarhus: Label: en
An Appreciation of Dexter Kozen: Label: en
Dexter Kozen’s Influence on the Theory of Labelled Markov Processes: Label: en
A Small Tribute: Label: en
Timesharing Dexter: Label: en
Making the World a Better Place: Label: en
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance: Label: en
Dexter Kozen: An Appreciation: Label: en
A Tribute from the Band: Label: en
Two Three Pages Papers: Label: en
Reflections on a \m $\slash$ Time with Dexter Kozen: Label: en
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information: Label: en
On Distance Coloring: Label: en
On State Sequences Defined by Reaction Systems: Label: en
The Complexity of Inhabitation with Explicit Intersection: Label: en