Dmitriĭ Nikolaevich Babin

From MaRDI portal
Revision as of 22:19, 12 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Dmitriĭ Nikolaevich Babin to Dmitriĭ Nikolaevich Babin: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:785977

Available identifiers

zbMath Open babin.dmitrii-nikolaevichMaRDI QIDQ785977

List of research outcomes





PublicationDate of PublicationType
The classes of automata embeddable to pre-complete classes2020-08-12Paper
Precomplete classes of automata with the superposition operation2019-08-21Paper
Solvability of the problem of completeness of automaton basis depending on its Boolean part2019-08-21Paper
On the classification of bases in \(P_k\) according to the decidability of the completeness problem for automata2014-06-06Paper
Efficient recognition of completeness of systems of automaton functions with complete Boolean part2004-08-30Paper
https://portal.mardi4nfdi.de/entity/Q44462022004-01-26Paper
On the classification of Post automaton bases according to the decidability of the completeness and \(A\)-completeness problems2001-01-28Paper
Finiteness of the set of automaton Post bases with solvable completeness problem2001-01-04Paper
On decidability of the completeness problem for special systems of automaton functions1997-03-23Paper
https://portal.mardi4nfdi.de/entity/Q48411131996-02-08Paper
Undecidability of the completeness and A-completeness problems for some systems of automaton functions1996-01-15Paper
https://portal.mardi4nfdi.de/entity/Q42721181995-07-09Paper
Superpositions of bounded-deterministic functions1992-06-25Paper
On completeness of the binary boundedly determined functions with respect to superposition1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57535291989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37835821987-01-01Paper
Verbal subautomata and the completeness problem1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36983211985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32191151984-01-01Paper

Research outcomes over time

This page was built for person: Dmitriĭ Nikolaevich Babin