Titolo: Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Editore: Springer
Data di pubblicazione: 1994
Lingua: Inglese
ISBN 10: 3540582770
ISBN 13: 9783540582779
Rilegatura: Paperback
Condizione: Good
Condizione della sovraccoperta: No Jacket
Peso: 1,11 libbre

Descrizione articolo

Riassunto

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.

Contenuti

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”.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

ThriftBooks is a fully independent seller of used books, having sold more than 160 million used and new books since we started in 2003. Each quality used book is sorted, graded, shelved and shipped by hand by our team of dedicated employees in our seven warehouses across the US. We have the best selection of books, in the right condition and format, at everyday low prices. We also have a dedicated, US-based Customer Service team, ranked in the top three by Newsweek for Best Customer Service in 2018 and 2019, so you can shop with confidence. We support and invest in our employees, appreciate and value our customers, and truly believe in the power of the written word to educate, energize, and engage readers of all ages and interests.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Thrift Books Global LLC
18300 Cascade Ave S, Seattle, WA, 98188, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

We guarantee each book that we send you. If you have any problems, please contact
our dedicated customer service department. They will do everything possible to
ensure you are happy with your order.

Diritto di recesso

Condizioni di spedizione

All domestic Standard and Expedited shipments are distributed from our warehouses by OSM, then handed off to the USPS for final delivery.

2-Day Shipping is delivered by FedEx, which does not deliver to PO boxes.

International shipments are tendered to the local postal service in the destination country for final delivery – we do not use courier services for international deliveries.

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 4 a 8 giorni lavorativi	Da 4 a 8 giorni lavorativi
Primo articolo	EUR 0.00	EUR 0.00

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.