Algorithms with finite memory over disjunctive normal forms

MaRDI QIDQ6539497zbMATH OpenFDO

Authors Yu. I. Zhuravlev

Publication date 14 May 2024

Published in Diskretnyĭ Analiz (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical propositional logic (03B05)

This page was built for publication: Algorithms with finite memory over disjunctive normal forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6539497)