Related Books
Language: en
Pages: 298
Pages: 298
Type: BOOK - Published: 2006-04-11 - Publisher: Springer Science & Business Media
This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of proces
Language: en
Pages: 308
Pages: 308
Type: BOOK - Published: 2014-01-15 - Publisher:
Language: en
Pages: 667
Pages: 667
Type: BOOK - Published: 2010-09-27 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, h
Language: en
Pages: 644
Pages: 644
Type: BOOK - Published: 2015-08-26 - Publisher: Springer
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José
Language: en
Pages: 494
Pages: 494
Type: BOOK - Published: 2013-03-08 - Publisher: Springer Science & Business Media
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjo