John Pais

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

1	Peter Jackson	[j3] [c2] [c1]
2	Gerald E. Peterson	[j1]

Last update Fri May 24 01:53:17 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page