William P. R. Mitchell

According to our database, William P. R. Mitchell authored at least 6 papers between 1988 and 2001.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2001

Monoid Based Semantics for Linear Formulas.

William P. R. Mitchell, Harold Simmons

J. Symb. Log., 2001

1999

Protecting Secret Keys in a Compromised Computational System.

William P. R. Mitchell

Proceedings of the Information Hiding, Third International Workshop, 1999

1997

The Carcinogenic Example.

William P. R. Mitchell

Log. J. IGPL, 1997

1996

Modal Logic and Equality for Process Algebra.

William P. R. Mitchell

J. Log. Comput., 1996

1994

Expressiveness for Highly Nested Expressions in Linear Temporal Logic.

William P. R. Mitchell

J. Log. Comput., 1994

1988

Inductive Completion with Retracts.

William P. R. Mitchell

Acta Informatica, 1988