Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings - ZoltÃ¡n Ã?sik

Instant online reading.
Don't wait for delivery!
Go digital and save!

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

By: ZoltÃ¡n Ã?sik (Editor)

Write A Review

Paperback | 20 September 2006

At a Glance

Paperback
646 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

Paperback

$169.00

or 4 interest-free payments of $42.25 with

or

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Paperback

RRP $89.99

$64.99

28%
OFF

The C Programming Language

Prentice Hall Software

Paperback

RRP $107.04

$77.75

27%
OFF

Python Automation For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $57.95

$44.75

23%
OFF

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Paperback

RRP $66.75

$34.99

48%
OFF

Mastering Financial Markets with Python : New Horizons in Technical Analysis - Sofien Kaabar

$35.75

21%
OFF

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Paperback

RRP $60.84

$55.75

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Hardcover

RRP $91.30

$65.75

28%
OFF

C# 12 in a Nutshell

The Definitive Reference

Paperback

RRP $133.00

$64.75

51%
OFF

The Practical Guide

Paperback

$97.99

Introduction to Programming Languages

Hardcover

$447.75

$Typesetting Mathematics With Latex - Robert Legato$

$38.75

22%
OFF

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Paperback

RRP $114.00

$55.75

51%
OFF

Python for Excel

A Modern Environment for Automation and Data Analysis

Paperback

RRP $125.75

$60.99

51%
OFF

Learning Python : Powerful Object-Oriented Programming - Mark Lutz

$60.75

27%
OFF

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

Learning Web Design

A Beginner's Guide to Html, Css, Javascript, and Web Graphics

Paperback

RRP $152.00

$73.75

51%
OFF

C++ Programming Language, The - Bjarne Stroustrup

$55.75

51%
OFF

Learn Python the Hard Way

Zed Shaw's Hard Way Series

Paperback

RRP $60.95

$50.75

17%
OFF

Functorial boxes in string diagrams	p. 1
Some results on a game-semantic approach to verifying finitely-presentable infinite structures (extended abstract)	p. 31
Automata and logics for words and trees over an infinite alphabet	p. 41
Nonmonotonic logics and their algebraic foundations	p. 58
Semi-continuous sized types and termination	p. 72
Visibly pushdown automata : from language equivalence to simulation and bisimulation	p. 89
A finite semantics of simply-typed lambda terms for infinite runs of automata	p. 104
The power of linear functions	p. 119
Logical omniscience via proof complexity	p. 135
Verification of Ptime reducibility for system F terms via dual light affine logic	p. 150
MSO queries on tree decomposable structures are computable with linear delay	p. 167
Abstracting allocation	p. 182
Collapsibility in infinite-domain quantified constraint satisfaction	p. 197
Towards an implicit characterization of NC[superscript k]	p. 212
On rational trees	p. 225
Reasoning about states of probabilistic sequential programs	p. 240
Concurrent games with tail objectives	p. 256
Nash equilibrium for upward-closed objectives	p. 271
Algorithms for omega-regular games with imperfect information	p. 287
Relating two standard notions of secrecy	p. 303
Jump from parallel to sequential proofs : multiplicatives	p. 319
First-order queries over one unary function	p. 334
Infinite state model-checking of propositional dynamic logics	p. 349
Weak bisimulation approximants	p. 355
Complete problems for higher order logics	p. 380
Solving games without determinization	p. 395
Game quantification on automatic structures and hierarchical model checking games	p. 411
An algebraic point of view on the crane beach property	p. 426
A sequent calculus for type theory	p. 441
Universality results for models in locally Boolean domains	p. 456
Universal structures and the logic of forbidden patterns	p. 471
On the expressive power of graph logic	p. 486
Hoare logic in the abstract	p. 501
Normalization of IZF with replacement	p. 516
Acyclicity and coherence in multiplicative exponential linear logic	p. 531
Church synthesis problem with parameters	p. 546
Decidable theories of the ordering of natural numbers with unary predicates	p. 562
Separation logic for higher-order store	p. 575
Satisfiability and finite model property for the alternating-time [mu]-calculus	p. 591
Space-efficient computation by interaction	p. 606
The Ackermann award 2006	p. 622
Table of Contents provided by Blackwell. All Rights Reserved.

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The C Programming Language

Prentice Hall Software

Python Automation For Dummies

For Dummies (Computer/Tech)

Python All-in-One For Dummies

3rd Edition

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Mastering Financial Markets with Python

New Horizons in Technical Analysis

Python Workout, Second Edition

200 ten-minute exercises

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

C# 12 in a Nutshell

The Definitive Reference

The Practical Guide

Introduction to Programming Languages

Typesetting Mathematics With Latex

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Python for Excel

A Modern Environment for Automation and Data Analysis

Learning Python

Powerful Object-Oriented Programming

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Learning Web Design

A Beginner's Guide to Html, Css, Javascript, and Web Graphics

C++ Programming Language, The

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

Learn Python the Hard Way

Zed Shaw's Hard Way Series

This product is categorised by