April 2010
ACM-BCS Visions of Computer Science 2010 (VOCS)
ACM-BCS Visions of Computer Science 2010
14 - 16 April 2010
Computational logic, unity of logic, proof theory, sequent calculus, focused proof systems
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/