Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001942541/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog abstract ""This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered as that of sets of discrete structures and the theory of rewriting systems over these objects. - Application of discrete structures in computer science, including syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of trees and graphs."--Publisher's website.".
- catalog contributor b2797103.
- catalog contributor b2797104.
- catalog created "c1990.".
- catalog date "1990".
- catalog date "c1990.".
- catalog dateCopyrighted "c1990.".
- catalog description ""This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered as that of sets of discrete structures and the theory of rewriting systems over these objects. - Application of discrete structures in computer science, including syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of trees and graphs."--Publisher's website.".
- catalog description "Includes bibliographical references.".
- catalog extent "vi, 284 p. :".
- catalog hasFormat "CAAP '90.".
- catalog identifier "0387525904 (U.S.) :".
- catalog identifier "3540525904".
- catalog isFormatOf "CAAP '90.".
- catalog isPartOf "Lecture notes in computer science ; 431".
- catalog issued "1990".
- catalog issued "c1990.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "CAAP '90.".
- catalog subject "511/.5 20".
- catalog subject "Computational complexity Congresses.".
- catalog subject "Data structures (Computer science) Congresses.".
- catalog subject "QA166.2 .C65 1990".
- catalog subject "Trees (Graph theory) Data processing Congresses.".
- catalog title "CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / A. Arnold (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".