24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
Description
Constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. This title covers such topics as automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, and more.
