Pages that link to "Biography:Dexter Kozen"
From HandWiki
The following pages link to Biography:Dexter Kozen:
Displayed 41 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Sharp-P-completeness of 01-permanent (← links)
- Regular expression (← links)
- Dense order (← links)
- Real closed field (← links)
- Action algebra (← links)
- Kleene algebra (← links)
- Alternating finite automaton (← links)
- State complexity (← links)
- Pushdown automaton (← links)
- Dynamic logic (modal logic) (← links)
- Alternating Turing machine (← links)
- Structured program theorem (← links)
- Symposium on Logic in Computer Science (← links)
- ♯P-completeness of 01-permanent (← links)
- P (complexity) (← links)
- Intersection Non-Emptiness Problem (← links)
- Decider (Turing machine) (← links)
- Intersection non-emptiness problem (← links)
- Template:EATCS Award laureates (← links)
- Philosophy:Modal μ-calculus (← links)
- Philosophy:Social software (social procedure) (← links)
- Philosophy:Social software (research field) (← links)
- Biography:Boris Trakhtenbrot (← links)
- Biography:List of programming language researchers (← links)
- Biography:Robin Milner (← links)
- Biography:Dana Scott (← links)
- Biography:Patrick Cousot (← links)
- Biography:Moshe Vardi (← links)
- Biography:Mihalis Yannakakis (← links)
- Biography:Amos Fiat (← links)
- Biography:Juris Hartmanis (← links)
- Biography:Toniann Pitassi (← links)
- Biography:Leslie Valiant (← links)
- Biography:Noam Nisan (← links)
- Biography:Mike Paterson (← links)
- Biography:Richard M. Karp (← links)
- Biography:Kurt Mehlhorn (← links)
- Biography:Matthew T. Dickerson (← links)
- Biography:Éva Tardos (← links)
- Biography:Gérard Huet (← links)
- Organization:European Association for Theoretical Computer Science (← links)
