CAAP'86

11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings

Paul Franchi-Zannettacci (Herausgeber)

Buch | Softcover
VIII, 308 Seiten
1986 | 1986
Springer Berlin (Verlag)
978-3-540-16443-2 (ISBN)

Lese- und Medienproben

CAAP'86 -
53,49 inkl. MwSt

A categorical treatment of pre- and post- conditions.- Colourings of planar maps and the equality of two languages.- On the equivalence of synchronization sets.- Inner and mutual compatibility of basic operations on module specifications.- Exact computation sequences.- An algebraic theory of flowchart schemes.- An algebraic formalism for graphs.- Membership for growing context sensitive grammars is polynomial.- Weighted graphs : A tool for logic programming.- Classical and incremental evaluators for attribute grammars.- Transformation strategies for deriving on line programs.- Probabilistic Ianov's schemes.- Alternating bottom-up tree recognizers.- Bottom-up recursion in trees.- Basic tree transducers.- Trie partitioning process: Limiting distributions.- Random walks, gaussian processes and list structures.- Random walks on trees.- Infinite trees, markings and well foundedness.- Computable directory queries.- Relating type-structures partial variations on a theme of Friedman and Statman.- On applications of algorithmic logic.

Erscheint lt. Verlag 1.3.1986
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo VIII, 308 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 510 g
Themenwelt Informatik Software Entwicklung User Interfaces (HCI)
Informatik Theorie / Studium Algorithmen
Mathematik / Informatik Mathematik Algebra
Schlagworte Algebra • algorithm • Algorithm analysis and problem complexity • Algorithmen • algorithms • Logic • Partition • Programmiersprache • programming • Sets • Software Engineering / Softwareentwicklung • Softwareentwicklung
ISBN-10 3-540-16443-X / 354016443X
ISBN-13 978-3-540-16443-2 / 9783540164432
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Lean UX und Design Thinking: Teambasierte Entwicklung …

von Toni Steimle; Dieter Wallach

Buch | Hardcover (2022)
dpunkt (Verlag)
34,90
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …

von Mahbouba Gharbi; Arne Koschel; Andreas Rausch; Gernot Starke

Buch | Hardcover (2023)
dpunkt Verlag
34,90
Wissensverarbeitung - Neuronale Netze

von Uwe Lämmel; Jürgen Cleve

Buch | Hardcover (2023)
Carl Hanser (Verlag)
34,99