William P. R. Mitchell

According to our database1, 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 
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


  Loading...