Pages that link to "Biography:Vaughan Pratt"
From HandWiki
The following pages link to Biography:Vaughan Pratt:
Displayed 26 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Algebraic structure (← links)
- Chu space (← links)
- Lisp (programming language) (← links)
- Relation algebra (← 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)
- Philosophy:Multimodal logic (← links)
- Engineering:Sun-1 (← links)
- Biography:List of programming language researchers (← links)
- Biography:Vaughan Pratt (transclusion) (← links)
- Biography:Donald Knuth (← links)
- Biography:James H. Morris (← links)
- Biography:George Edward Hughes (← links)
- Company:Sun Microsystems (← links)
