Propositional Logic for Circuit Classes

First Author: Aehlig K
Attributed to:  Abstract Measures of Low-Level Computational Complexity funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-540-74915-8_38

Publication URI: http://dx.doi.org/10.1007/978-3-540-74915-8_38

Type: Book Chapter

Book Title: Computer Science Logic (2007)

Page Reference: 512-526

ISBN: 978-3-540-74914-1