Algorithms

Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich

RTA’98 | January 1998

P.S. Bradley, Usama Fayyad, Cory Reina

KDD’98 Proceedings of the Fourth International Conference on Knowledge Discovery and Data Mining | January 1998

Jordi Jevy, Margus Veanes

Annual Conference of the European Association for Computer Science Logic, CSL’98 | January 1998

Annual Conference of the European Association for Computer Science Logic, CSL'98

Appears in preliminary proceedings of CSL'98

David Lomet

January 1998

PW Trinder, K Hammond, H-W Loidl, Simon Peyton Jones

Journal of Functional Programming | January 1998, Vol 8: pp. 23-60

Leslie Lamport

Compositionality: The Significant Difference (Proceedings of the COMPOS’97 Symposium), Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli editors. Lecture Notes in Computer Science. | December 1997

Paul Larson

MSR-TR-97-36 | December 1997

Bo Thiesson, Chris Meek, Max Chickering, David Heckerman

MSR-TR-97-30 | December 1997

Revised May 1998

Tolga Acar

December 1997

A. Mehrotra, Shaz Qadeer, V. Singhal, R. K. Brayton, A. Aziz, A. L. Sangiovanni-Vincentelli

Computer-Aided Design, 1997. Digest of Technical Papers., 1997 IEEE/ACM International Conference on | November 1997