The following pages link to Vaughan R. Pratt (Q1134755):
Displayed 50 items.
- Item:Q1134755 (redirect page) (← links)
- Modeling concurrency with partial orders (Q1091134) (← links)
- A near-optimal method for reasoning about action (Q1134756) (← links)
- Application of modal logic to programming (Q1150592) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- A characterization of the power of vector machines (Q1232182) (← links)
- Chu spaces from the representational viewpoint (Q1295426) (← links)
- Time bounds for selection (Q1394121) (← links)
- Chu spaces as a semantic bridge between linear logic and mathematics. (Q1398475) (← links)
- Dynamic logic: a personal perspective (Q1742628) (← links)
- My time with Rob (Q2182659) (← links)
- Sock Sorting: An Example of a Vague Algorithm (Q2765561) (← links)
- (Q2843733) (← links)
- Communes via Yoneda, from an Elementary Perspective (Q3000283) (← links)
- Aristotle, Boole, and Categories (Q3299850) (← links)
- (Q3680249) (← links)
- (Q3718143) (← links)
- (Q3871917) (← links)
- (Q3890666) (← links)
- Linear Algorithm for Data Compression via String Matching (Q3912479) (← links)
- (Q3924096) (← links)
- (Q3953158) (← links)
- (Q3960665) (← links)
- Temporal Structures (Q4006231) (← links)
- (Q4074820) (← links)
- Every Prime Has a Succinct Certificate (Q4077450) (← links)
- The Power of Negative Thinking in Multiplying Boolean Matrices (Q4081156) (← links)
- (Q4095851) (← links)
- (Q4125778) (← links)
- (Q4128424) (← links)
- Fast Pattern Matching in Strings (Q4148937) (← links)
- (Q4162478) (← links)
- (Q4190134) (← links)
- (Q4222842) (← links)
- (Q4222900) (← links)
- (Q4222922) (← links)
- On coalgebra of real numbers (Q4256314) (← links)
- (Q4260365) (← links)
- (Q4273477) (← links)
- (Q4287490) (← links)
- (Q4332422) (← links)
- (Q4353631) (← links)
- Transition and cancellation in concurrency and branching time (Q4461212) (← links)
- (Q4474002) (← links)
- (Q4484476) (← links)
- (Q4501691) (← links)
- Higher dimensional automata revisited (Q4507892) (← links)
- An n log n Algorithm to Distribute n Records Optimally in a Sequential Access File (Q4999427) (← links)
- The Four Essential Aristotelian Syllogisms, via Substitution and Symmetry (Q5015967) (← links)
- Temporal structures (Q5096250) (← links)