The following pages link to Jan van Leeuwen
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Computational complexity (links | edit)
- Computational complexity theory (links | edit)
- Huffman coding (links | edit)
- Primitive recursive function (links | edit)
- Regular expression (links | edit)
- Turing machine (links | edit)
- Robert Tarjan (links | edit)
- Unification (computer science) (links | edit)
- NP-hardness (links | edit)
- Formal power series (links | edit)
- Abstract machine (links | edit)
- Disjunctive normal form (links | edit)
- Timeline of quantum computing and communication (links | edit)
- Identity (mathematics) (links | edit)
- Toffoli gate (links | edit)
- Rewriting (links | edit)
- Register machine (links | edit)
- Random-access machine (links | edit)
- Computation tree logic (links | edit)
- Disjoint-set data structure (links | edit)
- Mark Overmars (links | edit)
- Bitangent (links | edit)
- Unbounded nondeterminism (links | edit)
- Klee's measure problem (links | edit)
- Omega-regular language (links | edit)
- Jeffrey Vitter (links | edit)
- H-index (links | edit)
- Omega language (links | edit)
- Algebraic specification (links | edit)
- Normal form (abstract rewriting) (links | edit)
- Substitution (logic) (links | edit)
- S. Barry Cooper (links | edit)
- Pointer machine (links | edit)
- Turing machine equivalents (links | edit)
- Algorithm characterizations (links | edit)
- Random-access stored-program machine (links | edit)
- Counter machine (links | edit)
- Counter-machine model (links | edit)
- Arto Salomaa (links | edit)
- Dynamic convex hull (links | edit)
- List of people by Erdős number (links | edit)
- Inversion (discrete mathematics) (links | edit)
- Philosophy of computer science (links | edit)
- Abstract rewriting system (links | edit)
- Informatics Europe (links | edit)
- Van Leeuwen (surname) (links | edit)
- Infinite-tree automaton (links | edit)
- Ω-automaton (links | edit)
- Grzegorz Rozenberg (links | edit)
- Prof. Dr. Jan van Leeuwen (redirect page) (links | edit)