| 2002 |
|---|
| 7 | | William P. R. Mitchell,
Harold Simmons:
Monoid Based Semantics for Linear Formulas.
J. Symb. Log. 67(2): 505-527 (2002) |
| 2001 |
|---|
| 6 | | William P. R. Mitchell,
Harold Simmons:
Monoid Based Semantics for Linear Formulas.
J. Symb. Log. 66(4): 1597-1619 (2001) |
| 1999 |
|---|
| 5 | | William P. R. Mitchell:
Protecting Secret Keys in a Compromised Computational System.
Information Hiding 1999: 448-462 |
| 1997 |
|---|
| 4 | EE | William P. R. Mitchell:
The Carcinogenic Example.
Logic Journal of the IGPL 5(6): (1997) |
| 1996 |
|---|
| 3 | | William P. R. Mitchell:
Modal Logic and Equality for Process Algebra.
J. Log. Comput. 6(1): 121-136 (1996) |
| 1994 |
|---|
| 2 | | William P. R. Mitchell:
Expressiveness for Highly Nested Expressions in Linear Temporal Logic.
J. Log. Comput. 4(3): 263-272 (1994) |
| 1988 |
|---|
| 1 | | William P. R. Mitchell:
Inductive Completion with Retracts.
Acta Inf. 25(5): 497-514 (1988) |
