dblp.uni-trier.dewww.uni-trier.de

John Pais Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
6 John Pais: Exterior Topology and Revision Spaces. J. Log. Comput. 5(3): 347-366 (1995)
1992
5 John Pais, Peter Jackson: Partial Monotonicity and a New Version of the Ramsey Test. Studia Logica 51(1): 21-47 (1992)
4 John Pais: Revision Algebra Semantics for Conditional Logic. Studia Logica 51(2): 279-316 (1992)
1991
3 John Pais, Gerald E. Peterson: Using Forcing to Prove Completeness of Resolution and Paramodulation. J. Symb. Comput. 11(1/2): 3-19 (1991)
1990
2EEPeter Jackson, John Pais: Computing Prime Implicants. CADE 1990: 543-557
1 Peter Jackson, John Pais: Semantic Accounts of Belief Revision. Truth Maintenance Systems (ECAI Workshop) 1990: 155-177

Coauthor Index

1Peter Jackson [1] [2] [5]
2Gerald E. Peterson [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)