William P. R. Mitchell
According to our database^{1}, William P. R. Mitchell
- authored at least 7 papers between 1988 and 2002.
- has no known "Dijkstra number"^{2}.
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2002
Monoid Based Semantics for Linear Formulas.
J. Symb. Log., 2002
2001
Monoid Based Semantics for Linear Formulas.
J. Symb. Log., 2001
1999
Protecting Secret Keys in a Compromised Computational System.
Proceedings of the Information Hiding, Third International Workshop, 1999
1997
The Carcinogenic Example.
Logic Journal of the IGPL, 1997
1996
Modal Logic and Equality for Process Algebra.
J. Log. Comput., 1996
1994
Expressiveness for Highly Nested Expressions in Linear Temporal Logic.
J. Log. Comput., 1994
1988
Inductive Completion with Retracts.
Acta Inf., 1988