Algebra and Logic

Editorial Material
Gradel,E;Kahle,R
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
23rd International Workshop on Computer Science Logic, CSL 2009 – 18th Annual Conference of the EACSL

2009
5771 LNCS

V-VI