KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Trees in Algebra and Programming - CAAP '94
  • Produktbild: Trees in Algebra and Programming - CAAP '94
Band 787

Trees in Algebra and Programming - CAAP '94 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.03.1994

Abbildungen

XI, 361 p.

Herausgeber

Sophie Tison

Verlag

Springer Berlin

Seitenzahl

361

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

563 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-57879-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.03.1994

Abbildungen

XI, 361 p.

Herausgeber

Sophie Tison

Verlag

Springer Berlin

Seitenzahl

361

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

563 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-57879-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Trees in Algebra and Programming - CAAP '94
  • Produktbild: Trees in Algebra and Programming - CAAP '94
  • Ordering constraints on trees.- Graph grammars and tree transducers.- Type Preorders.- Compilative constructive negation in constraint logic programs.- A new linear algorithm for Modular Decomposition.- A CPS-translation of the ??-calculus.- A lower bound on the growth of functions computed by tree transductions.- On the decidability of model checking for several ?-calculi and Petri nets.- Generalizations of the periodicity theorem of Fine and Wilf.- Probabilistic domains.- Some results on top-context-free tree languages.- On higher order recursive program schemes.- Graphs and decidable transductions based on edge constraints.- Nondeterministic automata with concurrency relations and domains.- Algebraic and combinatorial properties of simple, coloured walks.- Probabilistic analysis of an election algorithm in a tree.- On the first-order equivalence of call-by-name and call-by-value.- On the modularity of confluence of constructor-sharing term rewriting systems.- Global program analysis in constraint form.- On projective and separable properties.- A rank hierarchy for deterministic tree-walking transducers.- Superposition in picture languages.- A grammar-based data-flow analysis to stop deforestation.