Search the dblp DataBase
William P. R. Mitchell: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- William P. R. Mitchell
Protecting Secret Keys in a Compromised Computational System. [Citation Graph (0, 0)][DBLP]
Information Hiding, 1999, pp:448-462 [Conf] - William P. R. Mitchell
Inductive Completion with Retracts. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1988, v:25, n:5, pp:497-514 [Journal] - William P. R. Mitchell
The Carcinogenic Example. [Citation Graph (0, 0)][DBLP]
Logic Journal of the IGPL, 1997, v:5, n:6, pp:- [Journal] - William P. R. Mitchell, Harold Simmons
Monoid Based Semantics for Linear Formulas. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 2001, v:66, n:4, pp:1597-1619 [Journal] - William P. R. Mitchell, Harold Simmons
Monoid Based Semantics for Linear Formulas. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 2002, v:67, n:2, pp:505-527 [Journal] - William P. R. Mitchell
Expressiveness for Highly Nested Expressions in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 1994, v:4, n:3, pp:263-272 [Journal] - William P. R. Mitchell
Modal Logic and Equality for Process Algebra. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 1996, v:6, n:1, pp:121-136 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002