The following pages link to Neil Immerman
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- P versus NP problem (links | edit)
- Mathematics (links | edit)
- EXPTIME (links | edit)
- Peter Shor (links | edit)
- Hampshire College Summer Studies in Mathematics (links | edit)
- Juris Hartmanis (links | edit)
- Space complexity (links | edit)
- Madhu Sudan (links | edit)
- Complexity class (links | edit)
- Gödel Prize (links | edit)
- P (complexity) (links | edit)
- Shafi Goldwasser (links | edit)
- Johan Håstad (links | edit)
- Ehrenfeucht–Fraïssé game (links | edit)
- NL (complexity) (links | edit)
- Manindra Agrawal (links | edit)
- Least fixed point (links | edit)
- Descriptive complexity theory (links | edit)
- Róbert Szelepcsényi (links | edit)
- Silvio Micali (links | edit)
- László Lovász (links | edit)
- List of Guggenheim Fellowships awarded in 2003 (links | edit)
- Finite model theory (links | edit)
- Linear bounded automaton (links | edit)
- Steven Rudich (links | edit)
- Neeraj Kayal (links | edit)
- Nitin Saxena (links | edit)
- Immerman–Szelepcsényi theorem (links | edit)
- St-connectivity (links | edit)
- Joseph Halpern (links | edit)
- Éva Tardos (links | edit)
- Fagin's theorem (links | edit)
- László Babai (links | edit)
- Christos Papadimitriou (links | edit)
- Alexander Razborov (links | edit)
- Mario Szegedy (links | edit)
- Schaefer's dichotomy theorem (links | edit)
- List of multiple discoveries (links | edit)
- Noga Alon (links | edit)
- Charles Rackoff (links | edit)
- Avi Wigderson (links | edit)
- Yoram Moses (links | edit)
- Dan Boneh (links | edit)
- AC0 (links | edit)
- BIT predicate (links | edit)
- Query (complexity) (links | edit)
- First-order reduction (links | edit)
- Yoav Freund (links | edit)
- Maurice Herlihy (links | edit)
- Omer Reingold (links | edit)