Krom formulas with one dyadic predicate letter

DOI10.2307/2272233zbMath0381.03012OpenAlexW4248984264MaRDI QIDQ4159027

Harry R. Lewis

Publication date: 1976

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272233

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items

Satisfiability of the smallest binary program, On the complexity of single-rule datalog queries.