A. Yu. Nikitin

From MaRDI portal
Person:5151205

Available identifiers

zbMath Open nikitin.a-yuMaRDI QIDQ5151205

List of research outcomes





PublicationDate of PublicationType
Criterion for equational Noetherianity and complexity of the solvability problem for systems of equations over partially ordered sets2024-07-16Paper
Decidability of the restricted theories of a class of partial orders2021-02-17Paper
On complexity of the satisfiability problem of systems over finite posets2021-02-17Paper

Research outcomes over time

This page was built for person: A. Yu. Nikitin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:5151205&oldid=11524680"
Powered by MediaWiki