|
Search the dblp DataBase
John Pais:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Peter Jackson, John Pais
Computing Prime Implicants. [Citation Graph (0, 0)][DBLP] CADE, 1990, pp:543-557 [Conf]
- Peter Jackson, John Pais
Semantic Accounts of Belief Revision. [Citation Graph (0, 0)][DBLP] Truth Maintenance Systems (ECAI Workshop), 1990, pp:155-177 [Conf]
- John Pais, Gerald E. Peterson
Using Forcing to Prove Completeness of Resolution and Paramodulation. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1991, v:11, n:1/2, pp:3-19 [Journal]
- John Pais
Exterior Topology and Revision Spaces. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1995, v:5, n:3, pp:347-366 [Journal]
- John Pais
Revision Algebra Semantics for Conditional Logic. [Citation Graph (0, 0)][DBLP] Studia Logica, 1992, v:51, n:2, pp:279-316 [Journal]
- John Pais, Peter Jackson
Partial Monotonicity and a New Version of the Ramsey Test. [Citation Graph (0, 0)][DBLP] Studia Logica, 1992, v:51, n:1, pp:21-47 [Journal]
Search in 0.003secs, Finished in 0.003secs
|