( en | de | ru )

 

Disambiguation of "Lewis, Harry R."

Author of the publication

copydeleteadd this publication to your clipboard
Symmetric Space-Bounded Computation.

, and . Theor. Comput. Sci., (1982)

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.

Lewis R Donelson

Lewis Harry Roth

Walther Harry

J. D. Lewis-Williams

Klaus-Peter Harry

 

Other publications of authors with the same name

Complexity Results for Classes of Quantificational Formulas.. J. Comput. Syst. Sci., 21 (3): 317-353 (1980)The Inference Problem for Template Dependencies, and . Inf. Control., 55 (1-3): 69-79 (October 1982)A Logic of Concrete Time Intervals (Extended Abstract). LICS, page 380-389. IEEE Computer Society, (1990)Complexity of Solvable Cases of the Decision Problem for the Predicate Calculus. FOCS, page 35-47. IEEE Computer Society, (1978)Krom Formulas with One Dyadic Predicate Letter.. J. Symb. Log., 41 (2): 341-362 (1976)Elementos de Teoria da Computacão (trad. Edson Furmankiewicz), and . Bookman, Porto Alegre, 2 edition, (2000)Symmetric Space-Bounded Computation (Extended Abstract)., and . ICALP, volume 85 of Lecture Notes in Computer Science, page 374-384. Springer, (1980)SHAPESHIFTER: An interactive program for experimenting with complex-plane transformations.. ACM National Conference, page 717-724. ACM, (1968)A Logic for Constant-Depth Circuits, and . Inf. Control., 61 (1): 65-74 (April 1984)Linear Sampling and the forall exists forall Case of the Decision Problem., and . J. Symb. Log., 39 (3): 519-548 (1974)