Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
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 aseries of annual workshops on computer sciencelogic (thefirst four are recorded in LNCS volumes 329, 385, 440, and533).The volume contains 33 invited and selected papers on avariety of logical topics in computer science, includingabstract datatypes, bounded theories, complexity results,cut elimination, denotational semantics, infinitary queries,Kleene algebra with recursion, minimal proofs, normal formsin infinite-valued logic, ordinal proces…
Mehr
CHF 126.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Jäger, Gerhard (Hrsg.) / Kleine Büning, Hans (Hrsg.) / Richter, Michael M. (Hrsg.)
- ISBN: 978-3-540-55789-0
- EAN: 9783540557890
- Produktnummer: 3257208
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1992
- Seitenangabe: 440 S.
- Masse: H24.2 cm x B16.5 cm x D2.5 cm 646 g
- Auflage: 1992
- Abbildungen: Paperback
- Gewicht: 646
17 weitere Werke von Egon (Hrsg.) Börger:
Advances in Software Engineering
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Ebook (PDF Format)
CHF 93.50
Abstract State Machines, B and Z
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Ebook (PDF Format)
CHF 87.00
Bewertungen
Anmelden