Computer Science Logic - E-book

eBook

Computer Science Logic - ENG

20th International Workshop, Csl 2006, 15th Annual Conference Of The Eacsl, Szeged, Hungary, September 25-29, 2006, Proceedings

Zoltán Ésik

eBook

$1,980.00

Disponible

Información adicional
Sinopsis

ISBN:	9783540454595
Formato:	Page Fidelity
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Lenguajes de programación general
Año de publicación:	2006-09-28

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.

eBooks