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 complexity of the satisfiability problem for Krom formulas	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677733	1984-01-01	Paper
The word problem for cancellation semigroups with zero	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
Unifiability is complete for co-N Log Space	1982-01-01	Paper
The inference problem for template dependencies	1982-01-01	Paper
Conservative reduction classes of Krom formulas	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3915990	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4747496	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
https://portal.mardi4nfdi.de/entity/Q3856727	1979-01-01	Paper
Satisfiability problems for propositional calculi	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
Skolem reduction classes	1975-01-01	Paper
Description of restricted automata by first-order formulae	1975-01-01	Paper
Program schemata and the first-order decision problem	1974-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
The decision problem for formulas with a small number of atomic subformulas	1973-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Harry R. Lewis