Computer Science Logic and 8th Kurt Gödel Colloquium
Authors' instructions
The final versions submitted for publication must follow the Springer
Lecture Notes Style. Please read
Springers
instructions and take a copy of the
authors
guide.
Submissions NOT in the correct format will NOT be accepted!