Algorithms

Erik Ruf

MSR-TR-95-20 | May 1995

Jim Gemmell, Dilip D. Kandlur, Harrick M. Vin, Lawrence A. Rowe, P. Venkat Rangan

April 1995

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