Erschienen: 11.08.1993 Abbildung von Börger / Jäger / Kleine Büning / Martini / Richter | Computer Science Logic | 1993

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

Computer Science Logic

6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1993. Buch. IX, 439 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-56992-3

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

Gewicht: 1410 g

In englischer Sprache

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

Produktbeschreibung

This volume presents the proceedings of the Computer Science
Logic Workshop CSL '92, held in Pisa, Italy, in
September/October 1992. CSL '92 was the sixth of the series
and the first one held as Annual Conference of the European
Association for Computer Science Logic (EACSL). Full
versions of the workshop contributions were collected after
their presentation and reviewed. On the basis of 58 reviews,
26 papers were selected for publication, and appear here in
revised final form.
Topics covered in the volume include: Turing machines,
linear logic, logic of proofs, optimization problems, lambda
calculus, fixpoint logic, NP-completeness, resolution,
transition system semantics, higher order partial functions,
evolving algebras, functional logic programming, inductive
definability, semantics of C, classes for a functional
language, NP-optimization problems, theory of types and
names, sconing and relators, 3-satisfiability, Kleene's
slash, negation-complete logic programs, polynomial-time
oracle machines, and monadic second-order properties.

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 ...