CAAP '90
15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, proceedings
by Colloquium on Trees in Algebra and Progr...
"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.
Check nearby libraries
Buy this book
Subjects
| Edition | Availability |
|---|---|
1
Caap '90: 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings (Lecture Notes in Computer Science)
May 1990, Springer
Paperback
in English
3540525904 9783540525905
|
zzzz
|
2
CAAP '90: 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, proceedings
1990, Springer-Verlag, Springer
in English
3540525904 9783540525905
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists