Author of the publication

Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report).

, and . STACS, volume 210 of Lecture Notes in Computer Science, page 277-290. Springer, (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Computational Parallels Between the Regular and Context-Free Languages., and . SIAM J. Comput., 7 (1): 99-114 (1978)Recursion Schemes and Recursive Programs are Exponentially Hard to Analyze., and . SIAM J. Comput., 15 (3): 831-850 (1986)Complexity Classes in Optimization.. Encyclopedia of Optimization, Springer, (2009)Reachability problems for sequential dynamical systems with threshold functions., , , , , and . Theor. Comput. Sci., (2003)Complexity Metatheorems for Context-Free Grammar Problems., and . J. Comput. Syst. Sci., 13 (3): 318-334 (1976)The Covering Problem for Linear Context-Free Grammars., , and . Theor. Comput. Sci., 2 (3): 361-382 (1976)Hierarchically Specified Unit Disk Graphs., , , and . Theor. Comput. Sci., 174 (1-2): 23-65 (1997)I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract)., , , , and . PODC, page 122. ACM, (1996)Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report)., and . STACS, volume 210 of Lecture Notes in Computer Science, page 277-290. Springer, (1986)Predecessor and Permutation Existence Problems for Sequential Dynamical Systems., , , , , and . DMCS, volume AB of DMTCS Proceedings, page 69-80. DMTCS, (2003)