V. A. Buevich

Available identifiers

zbMath Open buevich.v-aMaRDI QIDQ2513014

List of research outcomes

Publication	Date of Publication	Type
A problem of completeness of S-sets of deterministic functions	2015-02-02	Paper
On algorithmic solvability of the \(A\)-completeness problem for systems of boundedly determinate functions containing all one-place boundedly determinate \(S\)-functions	2013-06-24	Paper
The completeness criterion for \(S\)-sets of determinate functions	2010-09-20	Paper
On the \(\tau\)-completeness of systems containing all one-place determinate functions.	2008-03-05	Paper
On the existence of an algorithm for recognizing the \(\mathcal A\)-completeness of systems containing all one-place bounded-determinate functions.	2008-03-05	Paper
The completeness criterion for systems which contain all one-place finite-automaton functions	2004-08-30	Paper
A new version of the proof of completeness criterion for k-valued logic functions	1997-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4278630	1994-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q3783585	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677665	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939242	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4090261	1975-01-01	Paper
On the algorithmic undecidability of A-completeness for the boundedly determinate functions	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5659461	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5663852	1972-01-01	Paper
Description of a finite automaton by means of a finite set of input- output sequences. I,II	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5597531	1970-01-01	Paper

Research outcomes over time

This page was built for person: V. A. Buevich