CAAP '92

CAAP '92
Author :
Publisher : Springer Science & Business Media
Total Pages : 376
Release :
ISBN-10 : 3540552510
ISBN-13 : 9783540552512
Rating : 4/5 (10 Downloads)

Book Synopsis CAAP '92 by : Jean-Claude Raoult

Download or read book CAAP '92 written by Jean-Claude Raoult and published by Springer Science & Business Media. This book was released on 1992-02-19 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium on Programming (ESOP) in Rennes, France, February 26-28, 1992 (the proceedings of ESOP appear in LNCS 582). The previous colloquia were held in France, Italy, Germany, Spain, Denmark and England. Every even year, as in 1992, CAAP is held jointly with ESOP; every other year, it is part of TAPSOFT (Theory And Practice of SOFTware development). In the beginning, CAAP was devoted to algebraic and combinatorial properties of trees and their role in various fields of computer science. The scope of CAAP has now been extended to other discrete structures, like graphs, equations and transformations of graphs, and their links with logical theories. The programme committee received 40 submissions, from which 19 papers have been selected for inclusion inthis volume.


CAAP '92 Related Books

CAAP '92
Language: en
Pages: 376
Authors: Jean-Claude Raoult
Categories: Computers
Type: BOOK - Published: 1992-02-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium
Entity-Relationship Approach - ER '92
Language: en
Pages: 460
Authors: Günther Pernul
Categories: Computers
Type: BOOK - Published: 1992-10-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume comprises the proceedings of the Eleventh International Conference on the Entity-Relationship Approach held in Karlsruhe, Germany, October 7-9, 1992
Temporal Logic
Language: en
Pages: 564
Authors: Dov M. Gabbay
Categories: Computers
Type: BOOK - Published: 1994-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its concep
Intelligent Tutoring Systems
Language: en
Pages: 710
Authors: Claude Frasson
Categories: Computers
Type: BOOK - Published: 1992-05-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume of the Encyclopaedia offers a systematic introduction and a comprehensive survey of the theory of complex spaces. It covers topics like semi-normal
Recent Issues in Pattern Analysis and Recognition
Language: en
Pages: 1060
Authors: Virginio Cantoni
Categories: Computers
Type: BOOK - Published: 1989-12-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book offers readers a broad view of research in some Western and Eastern European countries on pattern and signal analysis, and on coding, handling and mea