Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626) - Softcover
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1992
- ISBN 10 354055789X
- ISBN 13 9783540557890
- BindingPaperback
- Number of pages439
- EditorBörger Egon, Jäger Gerhard, Kleine Büning Hans, Richter Michael M.
Buy New
Learn more about this copy
US$ 55.90
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science (626)) by J??ger, Gerhard, B??ning, Hans Kleine, B??rger, Egon, Richter, Michael M. [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540557890
Buy New
US$ 55.90
Convert currency
Seller Image
Computer Science Logic : 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Seller:
Rating
Book Description Condition: New. Seller Inventory # 5906295-n
Buy New
US$ 61.09
Convert currency
Stock Image
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626)
Published by
Springer
(1992)
ISBN 10: 354055789X
ISBN 13: 9783540557890
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020170545
Buy New
US$ 59.75
Convert currency
Stock Image
Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Published by
Springer
(1992)
ISBN 10: 354055789X
ISBN 13: 9783540557890
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540557890_lsuk
Buy New
US$ 64.23
Convert currency
Seller Image
Computer Science Logic : 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Seller:
Rating
Book Description Condition: New. Seller Inventory # 5906295-n
Buy New
US$ 64.11
Convert currency
Stock Image
Computer Science Logic: 5th Workshop, CSL ?91, Berne, Switzerland, October 7-11, 1991. Proceedings
Seller:
Rating
Book Description Condition: New. Seller Inventory # V9783540557890
Buy New
US$ 89.65
Convert currency
Seller Image
Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Published by
Springer Berlin Heidelberg
(1992)
ISBN 10: 354055789X
ISBN 13: 9783540557890
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 processes, persistentPetri nets, plausibility logic, program synthesis systems,quantifier hierarchies, semantics of modularization, stablelogic, term rewriting systems, termination of logicprograms, transitive closure logic, variants of resolution,and many others. Seller Inventory # 9783540557890
Buy New
US$ 66.51
Convert currency
Seller Image
Computer Science Logic
Published by
Springer Berlin Heidelberg
(1992)
ISBN 10: 354055789X
ISBN 13: 9783540557890
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 recorde. Seller Inventory # 4893730
Buy New
US$ 54.06
Convert currency
Stock Image
Computer Science Logic: 5th Workshop, CSL 91, Berne, Switzerland, October 7-11, 1991. Proceedings
Seller:
Rating
Book Description Condition: New. Seller Inventory # V9783540557890
Buy New
US$ 104.27
Convert currency
Stock Image
Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540557890
Buy New
US$ 105.11
Convert currency