Skip to content

Computer Science Logic 6th Workshop, CSL'92, San Miniato, Italy, September 28 -
Stock Photo: Cover May Be Different

Computer Science Logic 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science) Paperback - 1993 - 1993rd Edition

by Bvrger, Egon (Editor), and Jdger, Gerhard (Editor), and Kleine B]ning, Hans (Editor)


From the publisher

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.

First line

The Turing machine is defined by the Figure 1 or the Table 1.

Details

  • Title Computer Science Logic 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science)
  • Author Bvrger, Egon (Editor), and Jdger, Gerhard (Editor), and Kleine B]ning, Hans (Editor)
  • Binding Paperback
  • Edition number 1993rd
  • Edition 1993
  • Publisher Springer
  • Date September 10, 1993
  • Features Bibliography, Illustrated
  • ISBN 9783540569923
Back to Top

More Copies for Sale

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2,...
Stock Photo: Cover May Be Different

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science 702)

by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9783540569923 / 3540569928
Quantity Available
1
Seller
Cleveland, Ohio, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£0.81
£3.64 shipping to USA

Show Details

Description:
Springer, 1993. *Price HAS BEEN REDUCED by 10% until Monday, April 29 (sale item)* 439 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Item Price
£0.81
£3.64 shipping to USA
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2,...
Stock Photo: Cover May Be Different

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science)

by Börger, Egon [Editor]; Jäger, Gerhard [Editor]; Kleine Büning, Hans [Editor]; Martini, Simone [Editor]; Richter, Michael M. [Editor];

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540569923 / 3540569928
Quantity Available
1
Seller
Spring Branch, Texas, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£2.43
£4.85 shipping to USA

Show Details

Description:
Springer, 1993-09-10. Paperback. Very Good. 6x1x9. 0387569928 Ex-library paperback in very nice condition with the usual markings and attachments.
Item Price
£2.43
£4.85 shipping to USA
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992....
Stock Photo: Cover May Be Different

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science)

by Egon Börger (Editor), Gerhard Jäger (Editor), Hans Kleine Büning (Editor), Simone Martini (Editor), Michael M. Richter (Editor)

  • Used
  • Paperback
Condition
Used:Good
Edition
1993
Binding
Paperback
ISBN 10 / ISBN 13
9783540569923 / 3540569928
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£5.90
FREE shipping to USA

Show Details

Description:
Springer, 1993-09-10. 1993. Paperback. Used:Good.
Item Price
£5.90
FREE shipping to USA
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992....
Stock Photo: Cover May Be Different

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science)

by Editor-Egon Börger; Editor-Gerhard Jäger; Editor-Hans Kleine Büning; Editor-Simone Martini; Editor-Michael M. Richter

  • Used
  • good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540569923 / 3540569928
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£8.10
FREE shipping to USA

Show Details

Description:
Springer, 1993-09-10. Paperback. Good.
Item Price
£8.10
FREE shipping to USA
Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2,...

Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992: Selected Papers

by BOrger, E.; JAger, G.; BUning, H. Kleine; Martini, S.; Richter, M.M. (eds.)

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540569923 / 3540569928
Quantity Available
1
Seller
Didcot, Oxfordshire, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£14.50
£9.50 shipping to USA

Show Details

Description:
Berlin, Heidelberg, New York: Springer-Verlag, 1993. Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 702. Minor shelfwear to the cover, with a crease on the rear side. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. paperback. Very Good. Used.
Item Price
£14.50
£9.50 shipping to USA
Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2,...

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

by Egon Börger

  • New
Condition
New
ISBN 10 / ISBN 13
9783540569923 / 3540569928
Quantity Available
931
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£53.13
£7.99 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers.
Item Price
£53.13
£7.99 shipping to USA
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2,...
Stock Photo: Cover May Be Different

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

by Egon Borger

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540569923 / 3540569928
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£59.89
£9.95 shipping to USA

Show Details

Description:
Paperback / softback. New. The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic of proofs, linear logic, optimization problems, the semantics of C, classes for a functional language, sconing and relators, NP-completeness and fixpoint logic.
Item Price
£59.89
£9.95 shipping to USA
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2,...
Stock Photo: Cover May Be Different

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science, 702)

by Börger, Egon [Editor]; Jäger, Gerhard [Editor]; Kleine Büning, Hans [Editor]; Martini, Simone [Editor]; Richter, Michael M. [Editor];

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540569923 / 3540569928
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
£125.47
£8.10 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
£125.47
£8.10 shipping to USA