Cover Image

CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, proceedings /

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 th...

Full description

Bibliographic Details
Corporate Authors: Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, SpringerLink (Online service)
Other Authors: Arnold, A. (André), 1945-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1990]
Series:Lecture notes in computer science ; 431.
Subjects:
Trees (Graph theory) > Data processing > Congresses.
Data structures (Computer science) > Congresses.
Computational complexity > Congresses.
Arbres (Théorie des graphes) > Informatique > Congrès.
Complexité de calcul (Informatique) > Congrès.
Structures de données (Informatique) > Congrès.
Computabilidade e modelos de computacao.
Computational complexity.
Data structures (Computer science)
Trees (Graph theory) > Data processing.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary: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.
Item Description:Electronic resource.
Physical Description:1 online resource (vi, 284 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references and index.
ISBN:9783540470427 (electronic bk.)
3540470425 (electronic bk.)
ISSN:0302-9743 ;