Algorithms

Desney Tan, James T. Herro III, Robert J. Szczerba

(1996) University of Notre Dame CSE | October 1995

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | October 1995

Leslie Lamport

IEEE Transactions on Software Engineering | September 1995, Vol 21(9): pp. 768-775

George E. Collins, Mark Encarnación

Journal of Symbolic Computation, Issue 3 | September 1995, Vol 20: pp. 287-297

Erich Grädel, Yuri Gurevich

J. Symbolic Logic | September 1995, Vol 60(3): pp. 952-969

Tolga Acar, Muhittin Gokmen

Computer Architectures for Machine Perception (CAMP95) | September 1995

Leslie Lamport

American Mathematical Monthly. Also appeared in Global Analysis in Modern Mathematics, Karen Uhlenbeck, editor. Publish or Perish Press, Houston. Also appeared as SRC Research Report 94. | August 1995, Vol 102(7): pp. 600-608

Max Chickering, Dan Geiger, David Heckerman

Information Processing Letters | August 1995, Vol 54: pp. 55-58

Chris Meek

Proceedings of Eleventh Conference on Uncertainty in Artificial Intelligence, ® Montreal, QU | Published by Morgan Kaufmann | 1995 | Proceedings of Eleventh Conference on Uncertainty in Artificial Intelligence, ® Montreal, QU edition

David Heckerman

MSR-TR-95-04 | August 1995

Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)