The following pages link to Dexter Kozen (Q283763):
Displaying 50 items.
- KAT-ML: an interactive theorem prover for Kleene algebra with tests (Q3647254) (← links)
- (Q3677736) (← links)
- A programming language for the inductive sets, and applications (Q3719820) (← links)
- (Q3732972) (← links)
- A zero-one law for logic with a fixed-point operator (Q3747760) (← links)
- (Q3756408) (← links)
- A Fast Parallel Algorithm for Determining All Roots of a Polynomial with Real Roots (Q3814803) (← links)
- (Q3890117) (← links)
- (Q3897035) (← links)
- Alternation (Q3928246) (← links)
- Positive First-Order Logic Is NP-Complete (Q3937380) (← links)
- (Q3939782) (← links)
- (Q3958436) (← links)
- (Q3968452) (← links)
- (Q4002271) (← links)
- (Q4005203) (← links)
- (Q4178503) (← links)
- (Q4230360) (← links)
- (Q4259978) (← links)
- (Q4344149) (← links)
- (Q4362921) (← links)
- (Q4385540) (← links)
- (Q4428704) (← links)
- (Q4437810) (← links)
- (Q4470486) (← links)
- (Q4525271) (← links)
- (Q4525285) (← links)
- (Q4525781) (← links)
- Infinitary Axiomatization of the Equational Theory of Context-Free Languages (Q4589610) (← links)
- CoCaml: Functional Programming with Regular Coinductive Types (Q4589614) (← links)
- (Q4611382) (← links)
- Optimal bounds for the change-making problem (Q4630257) (← links)
- KAT + B! (Q4635629) (← links)
- Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes (Q4635932) (← links)
- (Q4744245) (← links)
- (Q4764112) (← links)
- (Q4789445) (← links)
- (Q4808684) (← links)
- (Q4818830) (← links)
- Efficient recursive subtyping (Q4847313) (← links)
- (Q4847918) (← links)
- On Moessner’s Theorem (Q4921852) (← links)
- (Q4972735) (← links)
- (Q4992897) (← links)
- The Ackermann Award 2018 (Q5079720) (← links)
- Rational spaces and set constraints (Q5096725) (← links)
- Semantics of Probabilistic Programming: A Gentle Introduction (Q5150945) (← links)
- Kleene Algebra with Equations (Q5167845) (← links)
- (Q5178454) (← links)
- Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management* (Q5261298) (← links)
