Band 626
Computer Science Logic 5th Workshop on Computer Science Logic, CSL '91, Berne, Switzerland Germany, September 28 - October 2, 1992. Selected Papers
Aus der Reihe
Lecture Notes in Computer Science
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
-
Auflage:1992
Fr. 72.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
10.09.1992
Herausgeber
Egon Börger + weitereVerlag
Springer BerlinSeitenzahl
431
Maße (L/B/H)
23.5/15.5/2.3 cm
Gewicht
638 g
Auflage
1992
Sprache
Englisch
ISBN
978-3-540-55789-0
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.
(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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.