CAAP'86
Springer Berlin (Verlag)
978-3-540-16443-2 (ISBN)
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? |
aus dem Bereich