BN.com Gift Guide

Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers / Edition 1

Paperback (Print)
Used and New from Other Sellers
Used and New from Other Sellers
from $24.68
Usually ships in 1-2 business days
(Save 75%)
Other sellers (Paperback)
  • All (14) from $24.68   
  • New (7) from $51.02   
  • Used (7) from $24.68   

Overview

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.
The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

Read More Show Less

Product Details

  • ISBN-13: 9783540582779
  • Publisher: Springer Berlin Heidelberg
  • Publication date: 8/26/1994
  • Series: Lecture Notes in Computer Science Series , #832
  • Edition description: 1994
  • Edition number: 1
  • Pages: 336
  • Product dimensions: 9.21 (w) x 6.14 (h) x 0.75 (d)

Table of Contents

The complexity of set constraints.- On duality for the modal—-calculus.- Short proofs of tautologies using the schema of equivalence.- Process algebra with combinators.- Is game semantics necessary?.- The model theory of concurrency.- From semantics to rules: A machine assisted analysis.- On the reasons for average superlinear speedup in parallel backtrack search.- Negation as inconsistency in PROLOG via intuitionistic logic.- Approximable minimization problems and optimal solutions on random inputs.- Bounded-arity hierarchies in fixed-point logics.- Petri nets and the equivalence problem.- Logical aspects of set constraints.- Oracles and quantifiers.- A Horn clause that implies an undecidable set of Horn clauses.- Higher-order action calculi.- A generic strong normalization argument: Application to the Calculus of Constructions.- Data types, infinity and equality in system AF 2.- Normalization for typed lambda calculi with explicit substitution.- Program transformation and proof transformation.- Incorporating generalized quantifiers and the least fixed point operator.- “The semantics of the C programming language”.

Read More Show Less

Customer Reviews

Average Rating 5
( 1 )
Rating Distribution

5 Star

(1)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

Your Rating:

Your Name: Create a Pen Name or

Barnes & Noble.com Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & Noble.com that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & Noble.com does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at BN.com or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation

Reminder:

  • - By submitting a review, you grant to Barnes & Noble.com and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Noble.com Terms of Use.
  • - Barnes & Noble.com reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & Noble.com also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on BN.com. It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

 
Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously
Sort by: Showing 1 Customer Reviews
  • Posted May 30, 2013

    I¿m loving McDonalds for fast food... MyDeals247 for the best de

    I’m loving McDonalds for fast food... MyDeals247 for the best deals;))

    Was this review helpful? Yes  No   Report this review
Sort by: Showing 1 Customer Reviews

If you find inappropriate content, please report it to Barnes & Noble
Why is this product inappropriate?
Comments (optional)