Vaughan Pratt
- Fast Pattern Matching in Strings
1977/06/01 by Donald E. Knuth, James H. Morris, Jr., James H. Morris +2 · 106 citations
Computer Science · #Algorithms and Data Compression #Network Packet Processing and Optimization #semigroups and automata theory
- A near-optimal method for reasoning about action
1980/04/01 by Vaughan R. Pratt, Vaughan Pratt · 16 citations
Computer Science · Mathematics · #Action (physics) #Algorithm #Computer science #Discrete mathematics #Dynamic logic (digital electronics) #Exponential function #Formal Methods in Verification #Function (biology) #Generalization #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical optimization #Mathematics #Propositional calculus #Satisfiability #Theoretical computer science
- Computational aspects of the Pentium affair
1995/01/01 by T. Coe, Terje Mathisen, C Moler +1 · 2 citations
Computer Science · #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture #Computability, Logic, AI Algorithms
- Chu spaces: automata with quantum aspects
2002/12/17 by Vaughan Pratt · 1 citation
Computer Science · Mathematics · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory #Hilbert space #Mathematics #Complementarity (molecular biology) #Morphism #Pure mathematics #Quantum #Concurrency #Discrete mathematics #Automaton #Inner product space #Algebra over a field #Theoretical computer science #Computer science #Quantum mechanics