Matches in Harvard for { <http://id.lib.harvard.edu/aleph/004710548/catalog> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- catalog abstract ""This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures."--PUBLISHER'S WEBSITE.".
- catalog contributor b6668137.
- catalog contributor b6668138.
- catalog contributor b6668139.
- catalog created "c1994.".
- catalog date "1994".
- catalog date "c1994.".
- catalog dateCopyrighted "c1994.".
- catalog description ""This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references.".
- catalog extent "xi, 885 p. :".
- catalog hasFormat "Theoretical aspects of computer software.".
- catalog identifier "0387578870 (New York : acid-free paper)".
- catalog identifier "3540578870 (Berlin : acid-free paper) :".
- catalog isFormatOf "Theoretical aspects of computer software.".
- catalog isPartOf "Lecture notes in computer science ; 789".
- catalog issued "1994".
- catalog issued "c1994.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Theoretical aspects of computer software.".
- catalog subject "005.1/01/5113 20".
- catalog subject "Computer software Congresses.".
- catalog subject "QA76.751 .I568 1994".
- catalog title "Theoretical aspects of computer software : International Symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings / Masami Hagiya, John C. Mitchell, eds.".
- catalog type "Conference proceedings. fast".
- catalog type "text".