Author of the publication

Parallel Computational Complexity of Logic Programs and Alternating Turing Machines.

, and . FGCS, page 356-363. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)

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

On Finite-Memory Sequential Machines., , and . IEEE Trans. Computers, 19 (3): 254-258 (1970)Dynamic Clustering Procedures for Bibliographic Data., , and . SIGIR, page 90-99. ACM, (1981)Data Compression of the Kanji Character Patterns Digitized on the Hexagonal Mesh., , , and . IEEE Trans. Pattern Anal. Mach. Intell., 3 (2): 221-230 (1981)Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic., , and . CAV, volume 575 of Lecture Notes in Computer Science, page 410-420. Springer, (1991)Hardware Algorithms and Logic Design Automation. An Overview and Progress Report., and . RIMS Symposium on Software Science and Engineering, volume 147 of Lecture Notes in Computer Science, page 147-164. Springer, (1982)Size of Ordered Binary Decision Diagrams Representing Threshold Functions., , , and . Theor. Comput. Sci., 180 (1-2): 47-60 (1997)O(n)-Depth Modular Exponentiation Circuit Algorithm., , , and . IEEE Trans. Computers, 46 (6): 701-704 (1997)The Parallel Enumeration Sorting Scheme for VLSI., , and . IEEE Trans. Computers, 31 (12): 1192-1201 (1982)Efficient Initial Approximation for Multiplicative Division and Square Root by a Multiplication with Operand Modification., , and . IEEE Trans. Computers, 46 (4): 495-498 (1997)Controllability of Seqential Machines, and . Inf. Control., 21 (4): 306-328 (November 1972)