The refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more.
| ISBN: | 9783540282310 |
| Publication date: | 9th August 2005 |
| Author: | Workshop on Computer Science Logic, Luke Ong |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 565 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Compilers and interpreters Mathematical logic Mathematical foundations Mathematical theory of computation Artificial intelligence |
The refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more.
Computer Science Logic features in the following genres: Compilers and interpreters, Mathematical logic, Mathematical foundations, Mathematical theory of computation, Artificial intelligence
Computer Science Logic is available in Paperback
Computer Science Logic was written by Workshop on Computer Science Logic, Luke Ong and published by Springer an imprint of Springer Berlin Heidelberg
Computer Science Logic has 565 pages
Yes it is part of Lecture Notes in Computer Science series