Extensional Uniformity for Boolean Circuits

Pierre McKenzie, Michael Thomas, Heribert Vollmer. Extensional Uniformity for Boolean Circuits. In Michael Kaminski, Simone Martini, editors, Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings. Volume 5213 of Lecture Notes in Computer Science, pages 64-78, Springer, 2008. [doi]

Abstract

Abstract is missing.