Vaughan R. Pratt

Available identifiers

zbMath Open pratt.vaughan-rWikidataQ7917308 ScholiaQ7917308MaRDI QIDQ1134755

List of research outcomes

Publication	Date of Publication	Type
Temporal structures	2022-08-16	Paper
The Four Essential Aristotelian Syllogisms, via Substitution and Symmetry	2021-12-10	Paper
An n log n Algorithm to Distribute n Records Optimally in a Sequential Access File	2021-07-06	Paper
Aristotle, Boole, and Categories	2020-07-27	Paper
My time with Rob	2020-05-26	Paper
Dynamic logic: a personal perspective	2018-04-12	Paper
A practical decision method for propositional dynamic logic (Preliminary Report)	2014-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q2843733	2013-08-23	Paper
A combinatorial analysis of the average time for open-address hash coding insertion	2012-08-29	Paper
Communes via Yoneda, from an Elementary Perspective	2011-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4474002	2004-08-04	Paper
Transition and cancellation in concurrency and branching time	2004-03-30	Paper
Chu spaces as a semantic bridge between linear logic and mathematics.	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4484476	2003-06-12	Paper
Sock Sorting: An Example of a Vague Algorithm	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4501691	2001-01-29	Paper
Higher dimensional automata revisited	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4260365	1999-09-19	Paper
On coalgebra of real numbers	1999-07-12	Paper
Chu spaces from the representational viewpoint	1999-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4222922	1998-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q4222900	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222842	1998-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4353631	1997-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q4332422	1997-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q4287490	1995-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4273477	1994-01-23	Paper
Dynamic algebras: Examples, constructions, applications	1992-09-27	Paper
Temporal Structures	1992-09-26	Paper
Modeling concurrency with partial orders	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680249	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3718143	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3953158	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3960665	1982-01-01	Paper
Linear Algorithm for Data Compression via String Matching	1981-01-01	Paper
A near-optimal method for reasoning about action	1980-01-01	Paper
Application of modal logic to programming	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3871917	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3890666	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190134	1979-01-01	Paper
Fast Pattern Matching in Strings	1977-01-01	Paper
A characterization of the power of vector machines	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3924096	1975-01-01	Paper
Every Prime Has a Succinct Certificate	1975-01-01	Paper
The Power of Negative Thinking in Multiplying Boolean Matrices	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128424	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4162478	1974-01-01	Paper
Time bounds for selection	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4074820	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4095851	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4125778	1972-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vaughan R. Pratt