Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002288458/catalog> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- catalog abstract ""This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics."--PUBLISHER'S WEBSITE.".
- catalog contributor b3287424.
- catalog contributor b3287425.
- catalog contributor b3287426.
- catalog contributor b3287427.
- catalog contributor b3287428.
- catalog contributor b3287429.
- catalog created "c1991.".
- catalog date "1991".
- catalog date "c1991.".
- catalog dateCopyrighted "c1991.".
- catalog description ""This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographies.".
- catalog extent "xii, 762 p. :".
- catalog hasFormat "Automata, languages and programming.".
- catalog identifier "0387542337 (New York)".
- catalog identifier "3540542337 (Berlin)".
- catalog isFormatOf "Automata, languages and programming.".
- catalog isPartOf "Lecture notes in computer science ; 510".
- catalog issued "1991".
- catalog issued "c1991.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Automata, languages and programming.".
- catalog subject "Computer programming Congresses.".
- catalog subject "Machine theory Congresses.".
- catalog subject "QA267 .I23 1991".
- catalog title "Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings / J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".