| Michael Garey and Albert Meyer, editors |
Complexity Issues in VLSI: Optimal Layouts for the Shuffle-Exchange Graph and Other Networks,
Frank Thomson Leighton, 1983 |
Equational Logic as a Programming Language,
Michael J. O'Donnell, 1985 |
General Theory of Deductive Systems and Its Applications,
S. Yu Maslov, 1987 |
Resource Allocation Problems: Algorithmic Approaches,
Toshihide Ibaraki and Naoki Katoh, 1988 |
Algebraic Theory of Processes,
Matthew Hennessy, 1988 |
PX: A Computational Logic,
Susumu Hayashi and Hiroshi Nakano, 1989 |
The Stable Marriage Problem: Structure and Algorithms,
Dan Gusfield and Robert Irving, 1989 |
Realistic Compiler Generation,
Peter Lee, 1989 |
Single-Layer Wire Routing and Compaction,
F. Miller Maley, 1990 |
Basic Category Theory for Computer Scientists,
Benjamin C. Pierce, 1991 |
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist,
Andrea Asperti and Giuseppe Longo, 1991 |
Semantics of Programming Languages: Structures and Techniques,
Carl A. Gunter, 1992 |
The Formal Semantics of Programming Languages: An Introduction,
Glynn Winskel, 1993 |
Exploring Interior-Point Linear Programming: Algorithms and Software,
Ami Arbel, 1993 |
Hilbert's Tenth Problem,
Yuri V. Matiyasevich, 1993 |
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design,
edited by Carl A. Gunter and John C. Mitchell, 1993 |
From Logic to Logic Programming,
Kees Doets, 1994 |
The Structure of Typed Programming Languages,
David A. Schmidt, 1994 |
Logic and Information Flow,
edited by Jan van Eijck and Albert Visser, 1994 |
|
by the authors and was printed and bound in the United States of America.