The following pages link to Dexter Kozen (Q283763):
Displaying 23 items.
- Substructural logic and partial correctness (Q5267434) (← links)
- Stone Duality for Markov Processes (Q5271069) (← links)
- Language Constructs for Non-Well-Founded Computation (Q5326277) (← links)
- Well-founded coalgebras, revisited (Q5361146) (← links)
- Practical coinduction (Q5361147) (← links)
- Cantor meets Scott: semantic foundations for probabilistic networks (Q5370889) (← links)
- Indexing of subrecursive classes (Q5402569) (← links)
- Optimal Coin Flipping (Q5418975) (← links)
- Coinductive Proof Principles for Stochastic Processes (Q5453501) (← links)
- Local Variable Scoping and Kleene Algebra with Tests (Q5459174) (← links)
- Reflection in the Chomsky hierarchy (Q5507097) (← links)
- (Q5693581) (← links)
- On Hoare logic and Kleene algebra with tests (Q5738898) (← links)
- A note on the complexity of propositional Hoare logic (Q5738904) (← links)
- Realization of Coinductive Types (Q5739360) (← links)
- On the Representation of Kleene Algebras with Tests (Q5756670) (← links)
- Polynomial decomposition algorithms (Q5893804) (← links)
- Applications of Metric Coinduction (Q5897032) (← links)
- Coalgebraic tools for randomness-conserving protocols (Q5915547) (← links)
- Coalgebraic tools for randomness-conserving protocols (Q5925546) (← links)
- Minimisation in logical form (Q6612779) (← links)
- Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity (Q6638146) (← links)
- A cyclic proof system for Guarded Kleene Algebra with Tests (full version) (Q6728452) (← links)
