Harry R. Lewis

Available identifiers

zbMath Open lewis.harry-rMaRDI QIDQ800914

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5871898	2023-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4554782	2018-11-09	Paper
Efficient symbolic analysis of programs	1986-01-01	Paper
The word problem for cancellation semigroups with zero	1984-01-01	Paper
The complexity of the satisfiability problem for Krom formulas	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677733	1984-01-01	Paper
A logic for constant-depth circuits	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3315499	1983-01-01	Paper
Symmetric space-bounded computation	1982-01-01	Paper
The inference problem for template dependencies	1982-01-01	Paper
Unifiability is complete for co-N Log Space	1982-01-01	Paper
Conservative reduction classes of Krom formulas	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4747496	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3915990	1981-01-01	Paper
Complexity results for classes of quantificational formulas	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886863	1980-01-01	Paper
Satisfiability problems for propositional calculi	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3856727	1979-01-01	Paper
Renaming a Set of Clauses as a Horn Set	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3048806	1977-01-01	Paper
Krom formulas with one dyadic predicate letter	1976-01-01	Paper
Description of restricted automata by first-order formulae	1975-01-01	Paper
Skolem reduction classes	1975-01-01	Paper
Linear sampling and the ∀∃∀ case of the decision problem	1974-01-01	Paper
Prefix classes of Krom formulas	1974-01-01	Paper
Program schemata and the first-order decision problem	1974-01-01	Paper
The decision problem for formulas with a small number of atomic subformulas	1973-01-01	Paper

Research outcomes over time

This page was built for person: Harry R. Lewis