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 $89.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 Compilers & Interpreters

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 Mathematical Foundation

Oxford Maths for Australian Schools Year 3 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 6 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 2 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 4 Value Pack

3rd Edition

Maths Sequences for the Early Years F-2

Challenging Children to Reason Mathematically

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Current Trends in Automated Reasoning

Oxford Maths for Australian Schools Year 1 Value Pack

3rd Edition

Oxford Maths for Australian Schools Value Pack Year 5

Oxford Maths

Building Thinking Classrooms in Mathematics, Grades K-12

14 Teaching Practices for Enhancing Learning

Maths Plus Australian Curriculum Mentals and Homework Book - Year 2 (2023)

Maths Plus Australian Curriculum Edition

Teaching Secondary Mathematics

2nd Edition

Secrets Of Mental Math

The Mathemagician's Guide to Lightning Calculation and Amazing Math Tricks

Unequal

The Maths of When Things Do and Don't Add Up

The Language of Mathematics

The Stories behind the Symbols

Alex's Adventures in Numberland

Tenth Anniversary Edition

Creating Number

How Humans Developed Natural, Complex, Real And Infinite Numbers

Creating Number

How Humans Developed Natural, Complex, Real And Infinite Numbers

Oxford Maths for Australian Schools Year F Value Pack

3rd Edition

The Times Samurai Su Doku 14

100 extreme puzzles for the fearless Su Doku warrior

The Times Ultimate Killer Su Doku Book 18

200 of the deadliest Su Doku puzzles

Skill Builder Sudoku

Medium to Hard

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

This product is categorised by