On biconjunctive reduction classes

DOI10.1007/BF01117476zbMath0252.02049OpenAlexW2050337492MaRDI QIDQ2557257

V. P. Orevkov

Publication date: 1973

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01117476

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cites Work

• Tag systems and lag systems
• The decision problem for formulas in prenex conjunctive normal form with binary disjunctions

This page was built for publication: On biconjunctive reduction classes