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

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


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


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

        Ihre Daten werden geladen ...