ENGLISH

CAAP '90: 15th Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

By Tirza Hirst , David Harel (auth.) , A. Arnold (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1990
ISBN
3540525904, 9783540525905
DOI
10.1007/3-540-52590-4
LCC
QA166.2 .C65 1990
Open Library ID
OL1857545M
Language
english
Format
DJVU
Filesize
4 MB (3755750 bytes)
Series
Lecture Notes in Computer Science 431
Edition
1
Pages
288\291
Topic
Computers
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
CompilersComputation by Abstract Devices; Software EngineerInterpreters; Algorithm Analysis and Problem Compl

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.

Similar books