CAAP '81 : Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings

Egidio Astesiano

ISBN 10: 3540108289 / ISBN 13: 9783540108283

Published by Springer, Berlin, Springer, 1981

About this Item

Neuware - Algebraic theory of parameterized specifications with requirements.- A modal characterisation of observable machine-behaviour.- Trees as data and file structures.- Infinitary relations.- Full approximability of a class of problems over power sets.- How to compute generators for the intersection of subgroups in free groups.- Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOG.- Top-down tree-transducers for infinite trees I.- Easy solutions are hard to find.- Une semantique pour les arbres non deterministes.- On the algebraic specification of nondeterministic programming languages.- Applied tree enumerations.- Evaluation d'arbre pour un calcul formel (application a l'enumeration de proteines).- On pushdown tree automata.- Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities.- Calcul du rang des -arbres infinis regulers.- A class of tree-like UNION-FIND data structures and the nonlinearity.- Grammars without erasing rules. the OI case.- Proprietes de cloture d'une extension de transducteurs d'arbres deterministes.- Certain algorithms for subgraph isomorphism problems.- A # P-complete problem over arithmetical trees.- Trees in Kripke models and in an intuitionistic refutation system.- Efficient optimization of monotonic functions on trees.- Differents types de derivations infinies dans les grammaires algebriques d'arbres.- Discriminability of infinite sets of terms in the D -models of the -calculus.

Seller Inventory # 9783540108283

Bibliographic Details

• Title: CAAP '81 : Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings
• Publisher: Springer, Berlin, Springer
• Publication Date: 1981
• Language: English
• ISBN 10: 3540108289
• ISBN 13: 9783540108283
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 233W x 186H x 35D millimeters 233 millimeters width by 186 millimeters height by 35 millimeters depth
• Weight: 605 grams

About this title

Synopsis

Will be * from US. Used books may not include companion materials, may have some shelf wear, may contain highlighting/notes, may not include CDs or access codes. 100% * . Will be * from US. Used books may not include companion materials, may have some shelf wear, may contain highlighting/notes, may not include CDs or access codes. 100% * .