Pages that link to "Biography:Vaughan Pratt"
From HandWiki
The following pages link to Biography:Vaughan Pratt:
Displaying 19 items.
- Algebraic structure (← links)
- Chu space (← links)
- Lisp (programming language) (← links)
- Outline of algebraic structures (← links)
- Timeline of algorithms (← links)
- Action algebra (← links)
- List of multiple discoveries (← links)
- CGOL (← links)
- Suffix tree (← links)
- Dynamic logic (modal logic) (← links)
- Ambigram (← links)
- Modal logic (← links)
- Operator-precedence parser (← links)
- SUN workstation (← links)
- Wolfram's 2-state 3-symbol Turing machine (← links)
- Primality test (← links)
- Pratt parser (← links)
- Biography:Donald Knuth (← links)
- Company:Sun Microsystems (← links)
