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

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.

You Can Find This Book In

Non-Fiction Philosophy Philosophy & Logic Mathematics Mathematical Foundation Mathematical Logic Computing & I.T.Computer Science Computer Architecture & Logic Design Artificial Intelligence Computer Programming & Software Development Programming & Scripting Languages

Mathematical Theory of Computation

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

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Python Crash Course

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

The C Programming Language

Prentice Hall Software

Python All-in-One For Dummies

3rd Edition

Unleashing User Innovation

Multidisciplinary Perspectives on End-User Development and Generative AI

Data Science and Machine Learning for Non-Programmers

Using SAS Enterprise Miner

Game Development with Godot 4 and C#

Develop a dynamic 3D game while exploring a robust node system, level design, and animations

Python Workout, Second Edition

200 ten-minute exercises

Effective Modern C++

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

Introduction to Programming Languages

Typesetting Mathematics With Latex

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Artificial Intelligence Programming with Python

From Zero to Hero

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Python Automation For Dummies

For Dummies (Computer/Tech)

Code

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

Learning Go

An Idiomatic Approach to Real-World Go Programming

C# 12 in a Nutshell

The Definitive Reference

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

For Dummies

Introduction to Machine Learning with Python

A Guide for Data Scientists

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Programming Rust

Fast, Safe Systems Development 2nd Edition

Modern Data Analytics in Excel

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

This product is categorised by