Algorithms

Geoffrey M. Davis, John M. Danskin, Xiyong Song

April 1995

Deepak Kapur

Principles and Practice of Constraint Programming | April 1995

Principles and Practice of Constraint Programming

Yuri Gurevich

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

John Field, G. Ramalingam, Frank Tip

Proceeding POPL ’95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1995

Leslie Lamport

January 1995

Egon Börger, Yuri Gurevich, Dean Rosenzweig

1995 Oxford University Press book, Specification and Validation Methods | January 1995

Alistair Sinclair, Dana Randall, Michael Luby

January 1995

Yuri Gurevich, Raghu Mani

1995 Oxford University Press book, Specification and Validation Methods | January 1995

Richard M. Karp, Orli Waarts, Geoffrey Zweig

January 1995

David Kurlander, Daniel T. Ling, Dan Ling

MSR-TR-95-21 | January 1995