Vor Ort
Merkzettel Warenkorb
  • Produktbild: Caap '88
  • Produktbild: Caap '88
Band 299

Caap '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.03.1988

Herausgeber

Max Dauchet + weitere

Verlag

Springer Berlin

Seitenzahl

305

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

518 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-19021-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.03.1988

Herausgeber

Verlag

Springer Berlin

Seitenzahl

305

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

518 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-19021-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Caap '88
  • Produktbild: Caap '88
  • A tree pattern matching algorithm with reasonable space requirements.- On the maximum path length of AVL trees.- Decomposition trees: Structured graph representation and efficient algorithms.- On counting and approximation.- Parameter-reduction of higher level grammars.- Analysis of dynamic algorithms in D.E.Knuth's model.- On completeness of narrowing strategies.- Implementing term rewrite languages in Dactl.- Unification in primal algebras.- Algebraic specification with built-in domain constructions.- Product and iteration of module specifications.- Equational completion in order-sorted algebras extended abstract.- Proving systolic arrays.- Expressiveness bounds for completeness in trace-based network proof systems.- Proof systems for Hennessy-Milner Logic with recursion.- Regular automata and model checking.- Interval logics and sequential transducers.- A2CCS: A simple extension of CCS for handling atomic actions.- Modelling statecharts behaviour in a fully abstract way.- Directed hypergraphs: Data structures and applications.