Crossmark

Computational Complexity of Theories of a Binary Predicate with a Small Number of Variables

Published Online: 2022-12-08

Published Print: 2022-12

Authors

Rybakov, M.
License Information

Text and Data Mining valid from 2022-12-01

Version of Record valid from 2022-12-08
More Information

Article History

Received: 7 August 2022

Revised: 19 September 2022

Accepted: 23 September 2022

First Online: 8 December 2022

CONFLICT OF INTEREST

: The author declares that he has no conflicts of interest.

Document is current