# William P. R. Mitchell

According to our database

Collaborative distances:

^{1}, William P. R. Mitchell authored at least 7 papers between 1988 and 2002.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### 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