Algorithms

Deepak Kapur

Principles and Practice of Constraint Programming | April 1995

Principles and Practice of Constraint Programming

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

April 1995

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

Richard M. Karp, Orli Waarts, Geoffrey Zweig

January 1995

Egon Börger, Yuri Gurevich, Dean Rosenzweig

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

Roy L. Crole, Andy Gordon

International Workshop on Computer Science Logic | January 1995

Lecture Notes in Computer Science

ISBN: 978-3-540-60017-6 (Print) 978-3-540-49404-1 (Online)

Yuri Gurevich

Specification and Validation Methods | Published by Oxford University Press | 1995 | Specification and Validation Methods edition

Alistair Sinclair, Dana Randall, Michael Luby

January 1995