Erschienen: 10.09.1992 Abbildung von Börger / Jäger / Kleine Büning / Richter | Computer Science Logic | 1992

Börger / Jäger / Kleine Büning / Richter

Computer Science Logic

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1992. Buch. vIII, 431 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-55789-0

Format (B x L): 15,5 x 23,3 cm

Gewicht: 1370 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 626

Produktbeschreibung

This volume presents the proceedings of the workshop CSL '91
(Computer Science Logic) held at the University of Berne,
Switzerland, October 7-11, 1991. This was the fifth in a
series of annual workshops on computer sciencelogic (the
first four are recorded in LNCS volumes 329, 385, 440, and
533).
The volume contains 33 invited and selected papers on a
variety of logical topics in computer science, including
abstract datatypes, bounded theories, complexity results,
cut elimination, denotational semantics, infinitary queries,
Kleene algebra with recursion, minimal proofs, normal forms
in infinite-valued logic, ordinal processes, persistent
Petri nets, plausibility logic, program synthesis systems,
quantifier hierarchies, semantics of modularization, stable
logic, term rewriting systems, termination of logic
programs, transitive closure logic, variants of resolution,
and many others.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...