Trees in Algebra and Programming - CAAP '94

Trees in Algebra and Programming - CAAP '94
Author :
Publisher : Springer Science & Business Media
Total Pages : 374
Release :
ISBN-10 : 354057879X
ISBN-13 : 9783540578796
Rating : 4/5 (9X Downloads)

Book Synopsis Trees in Algebra and Programming - CAAP '94 by : Sophie Tison

Download or read book Trees in Algebra and Programming - CAAP '94 written by Sophie Tison and published by Springer Science & Business Media. This book was released on 1994-03-23 with total page 374 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the fifth European Symposium on Programming (ESOP '94) in Edinburgh in April 1994. Originally this colloquium series was devoted to the algebraic and combinatorial properties of trees, and their role in various fields of computer science. Taking into account the evolution of computer science, CAAP '94 focuses on logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.); the topics also include applications to computer science provided that algebraic or syntactic methods are involved. The volume contains 21 papers selected from 51 submissions as well as two invited papers.


Trees in Algebra and Programming - CAAP '94 Related Books

Trees in Algebra and Programming - CAAP '94
Language: en
Pages: 374
Authors: Sophie Tison
Categories: Computers
Type: BOOK - Published: 1994-03-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the
FM8501: A Verified Microprocessor
Language: en
Pages: 356
Authors: Warren A. Hunt
Categories: Computers
Type: BOOK - Published: 1994-05-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book, written for a wide readership with some background in the natural sciences, addresses the very old problem of the mind-brain-relationship. The author
Foundations of Software Technology and Theoretical Computer Science
Language: en
Pages: 472
Authors: P.S. Thiagarajan
Categories: Computers
Type: BOOK - Published: 1994-11-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14
Graph-Theoretic Concepts in Computer Science
Language: en
Pages: 324
Authors: Ulrik Brandes
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

DOWNLOAD EBOOK

The 26th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2000) was held at Waldhaus Jakob, in Konstanz, Germany, on 15{ 17 June 2000.
Static Analysis
Language: en
Pages: 448
Authors: Jens Palsberg
Categories: Computers
Type: BOOK - Published: 2004-02-02 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000.T