The length of an unsatisfiable subformula. Algebra and Logic, 2024, Vol. 63, No. 1, pp. 65-72.
DOI 10.1007/s10469-024-09771-0
Go to publication
| Authors: Seliverstov A. |
 |
|
||||||||||||||||||||||||||||||||||
| ðóññêèé | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2025
About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè