Willkommen, schön sind Sie da!
Logo Ex Libris

CAAP'86

  • Kartonierter Einband
  • 308 Seiten
(0) Erste Bewertung abgegeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt A categorical treatment of pre- and post- conditions.- Colourings of planar maps and the equality of two languages.- On the... Weiterlesen
CHF 99.00
Print on demand - Exemplar wird für Sie besorgt.

Beschreibung

Inhalt

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.

Produktinformationen

Titel: CAAP'86
Untertitel: 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings
Schöpfer:
Editor:
EAN: 9783540164432
ISBN: 978-3-540-16443-2
Format: Kartonierter Einband
Genre: Informatik
Anzahl Seiten: 308
Gewicht: 510g
Größe: H235mm x B235mm
Jahr: 1986
Auflage: 1986.

Bewertungen

Gesamtübersicht

Meine Bewertung

Bewerten Sie diesen Artikel


Zuletzt angesehen
Verlauf löschen