Vor Ort
Merkzettel Warenkorb
Produktbild: Caap '83
Band 159

Caap '83 8th Colloquium on Trees in Algebra and Programming, March 9-11, 1983, Proceedings. Partly in French

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.10.1983

Herausgeber

G. Ausiello + weitere

Verlag

Springer Berlin

Seitenzahl

418

Maße (L/B/H)

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

Gewicht

688 g

Auflage

1983

Sprache

Englisch, Französisch

ISBN

978-3-540-12727-7

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.10.1983

Herausgeber

Verlag

Springer Berlin

Seitenzahl

418

Maße (L/B/H)

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

Gewicht

688 g

Auflage

1983

Sprache

Englisch, Französisch

ISBN

978-3-540-12727-7

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)

Weitere Artikel finden Sie in
  • Produktbild: Caap '83
  • Generalized heterogeneous algebras and partial interpretations.- Applicative information systems.- Acyclic database schemes (of various degrees): A painless introduction.- Efficient algorithms for finding maximal matching in graphs.- A survey of NLC grammars.- Prefix and perfect languages.- Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets.- VLSI mesh of trees for data base processing.- Continuite des transducteurs d'etats finis d'arbres.- Completeness results for a polymorphic type system.- A class of program schemes based on tree rewriting systems.- Complete sets of unifiers and matchers in equational theories.- Digital search trees and the generation of an exponentially distributed variate.- Decidable properties of monadic recursive schemas with a depth parameter.- Nivat-processing systems: Decision problems related to protection and synchronization.- Confluent and coherent equational term rewriting systems application to proofs in abstract data types.- An application of maximum bipartite c-matching to subtree isomorphism'.- Characterizing specification languages which admit initial semantics.- Topological bandwidth.- Probabilistic analysis of graph colouring algorithms.- Some further approximation algorithms for the vertex cover problem.- An application of the theory of graphs and hypergraphs to the decomposition of relational database schemes.- Remarks on the pyramidal structure.- Structured theories in LCF.- Alternating tree automata.- Cofinality in reduction graphs.