Related Books
Language: en
Pages: 130
Pages: 130
Type: BOOK - Published: 2018-01-11 - Publisher: Springer
This book considers logical proof systems from the point of view of their space complexity. After an introduction to propositional proof complexity the author s
Language: en
Pages: 1072
Pages: 1072
Type: BOOK - Published: 2003-08-03 - Publisher: Springer
This book constitutes the refereed proceedings of the 29th International Colloquium on Automata, Languages and Programming, ICALP 2002, held in Malaga, Spain, i
Language: en
Pages: 800
Pages: 800
Type: BOOK - Published: 2006-05-05 - Publisher: Springer
This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Bei
Language: en
Pages: 854
Pages: 854
Type: BOOK - Published: 2013-08-16 - Publisher: Springer
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2
Language: en
Pages: 493
Pages: 493
Type: BOOK - Published: 2010-05-20 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Pragu