Publication | Date of Publication | Type |
---|
On polynomial-modular recursive sequences | 2023-11-17 | Paper |
On the equality problem of finitely generated classes of exponentially-polynomial functions | 2023-08-15 | Paper |
Reducibility by means of almost polynomial functions | 2023-07-14 | Paper |
Operation of bound prefix concatenation and finite superposition bases | 2023-05-25 | Paper |
Implicit expressibility in multiple-valued logic | 2022-12-05 | Paper |
Completeness criterion with respect to the enumeration closure operator in the three-valued logic | 2022-10-06 | Paper |
Infinitely generated classes of 01-functions of three-valued logic | 2021-12-09 | Paper |
On the action of the implicative closure operator on the set of partial functions of the multivalued logic | 2021-08-30 | Paper |
Modeling multitape Minsky and Turing machines by three-tape Minsky machines | 2021-02-09 | Paper |
Completeness criterion in class of exponential-polynomial functions | 2021-01-15 | Paper |
On alphabetic coding for superwords | 2020-06-23 | Paper |
Completeness criterion for the enumeration closure operator in three-valued logic | 2020-02-17 | Paper |
Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions | 2020-01-20 | Paper |
Extensions of the Positive Closure Operator by Using Logical Connectives | 2019-12-02 | Paper |
On the complexity of polynomial recurrence sequences | 2019-07-19 | Paper |
Calculating the number of functions with a given endomorphism | 2019-03-28 | Paper |
Computations on counter machines with summator | 2018-10-10 | Paper |
Basic positively closed classes in three-valued logic | 2018-09-03 | Paper |
Bounded prefix concatenation operation and finite bases with respect to the superposition | 2018-04-23 | Paper |
On the operations of bounded suffix summation and multiplication | 2018-04-06 | Paper |
On FE-precomplete classes in countable-valued logic | 2017-11-02 | Paper |
Closure operators with positive connectives and quantifiers | 2017-07-18 | Paper |
On maximal subalgebras of the algebras of unary recursive functions | 2017-02-09 | Paper |
On maximal subgroups of the group of recursive permutations | 2016-11-22 | Paper |
On elementary word functions obtained by bounded prefix concatenation | 2016-09-13 | Paper |
Closed classed of three-valued logic that contain essentially multiplace functions | 2016-09-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q3186824 | 2016-08-12 | Paper |
Functional equations for the functions of real variables | 2016-04-05 | Paper |
On complexity of problem of satisfiability for systems of countable-valued functional equations | 2016-01-14 | Paper |
On the enumeration closure operator in multivalued logic | 2015-11-13 | Paper |
On a recursive definition of a class of finite automaton functions | 2015-09-04 | Paper |
Complexity of the search for the least solution to a system of dictionary equations of exponential type | 2015-07-30 | Paper |
Positively closed classes of three-valued logic | 2015-07-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q5263784 | 2015-07-17 | Paper |
On maximal and minimal elements of partially ordered sets of Boolean degrees | 2015-07-17 | Paper |
Definability in the language of functional equations of a countable-valued logic | 2015-05-12 | Paper |
Bounded monotone recursion and multihead automata | 2015-03-23 | Paper |
The FE-closure operator in countable-valued logic | 2013-11-28 | Paper |
Interpolation and superpositions of multivariate continuous functions | 2013-07-08 | Paper |
Definition of positively closed classes by endomorphism semigroups | 2013-06-24 | Paper |
Atoms of the lattice of positively closed classes of three-valued logic | 2013-04-29 | Paper |
Mixed id-expansion of multivalued logic functions | 2012-11-20 | Paper |
FE classification of functions of many-valued logic | 2012-11-20 | Paper |
Iteration operators on a set of continuous functions of Baire space | 2012-11-20 | Paper |
On orders of closed classes containing a homogeneous switching function | 2012-11-20 | Paper |
Operator of positive closure | 2012-05-10 | Paper |
Positively closed classes of three-valued logic generated by one-place functions | 2012-03-23 | Paper |
Complete and incomplete Boolean degrees | 2012-03-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q3115203 | 2012-02-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q3115224 | 2012-02-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q3115275 | 2012-02-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q3115597 | 2012-02-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3115606 | 2012-02-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3115645 | 2012-02-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3115679 | 2012-02-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3115713 | 2012-02-10 | Paper |
The uniform id-decomposition of functions of many-valued logic over homogeneous functions | 2011-05-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3063991 | 2010-12-18 | Paper |
On the complexity of the ℰ2 Grzegorczyk class | 2010-09-06 | Paper |
Superpositions of continuous functions defined on a Baire space | 2010-03-16 | Paper |
Solutions to the systems of functional equations of multivalued logic | 2010-01-29 | Paper |
Orders of discriminator classes in multivalued logic | 2010-01-12 | Paper |
On solutions to systems of functional equations of multiple-valued logic | 2009-10-26 | Paper |
The closure operator with the equality predicate branching on the set of partial Boolean functions | 2009-10-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q3623564 | 2009-04-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q3616750 | 2009-03-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3615215 | 2009-03-18 | Paper |
Positively closed classes of partial Boolean functions | 2009-01-26 | Paper |
Iteration of Boolean \((n,n)\)-operators | 2009-01-20 | Paper |
Strong closure operators on the set of partial Boolean functions | 2008-10-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q5445420 | 2008-03-05 | Paper |
On the structure of equationally closed classes | 2007-11-02 | Paper |
The equational closure operator | 2007-10-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q5307637 | 2007-09-18 | Paper |
On the cardinality of the family of precomplete classes in \(P_{E}\) | 2006-10-20 | Paper |
Equational closure | 2006-10-10 | Paper |
On the structure of partially ordered sets of Boolean degrees | 2006-10-10 | Paper |
Toxicology of nanoparticles | 2006-07-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q3372957 | 2006-03-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4675462 | 2005-05-04 | Paper |
On the polynomial computability of some rudimentary predicates. | 2004-12-02 | Paper |
On the complexity of computation of rudimentary predicates | 2004-08-30 | Paper |
Clones determined by alternating monoids | 2004-08-30 | Paper |
On the complexity of recurring sequences | 2004-08-30 | Paper |
Boolean reducibility | 2004-08-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q3148488 | 2002-10-06 | Paper |
Impossibility of constructing continuous functions of $ (n+1)$ variables from functions of $ n$ variables by means of certain continuous operators | 2002-06-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q2782030 | 2002-04-12 | Paper |
\(A\)-closed classes of idempotent functions of many-valued logic definable by binary relations | 2002-01-30 | Paper |
On expressibility of functions of many-valued logic in some logical-functional languages | 2001-12-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q2755142 | 2001-11-08 | Paper |
Functional aspects of the completeness problem for some classes of automaton functions | 2001-08-16 | Paper |
The S-classification of functions of many-valued logic | 2001-05-10 | Paper |
A-closed classes of many-valued logic containing constants | 2001-05-10 | Paper |
\(A\)-classification of functions of many-valued logic | 2001-01-28 | Paper |
On Slupecki classes for automaton functions | 2001-01-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4520903 | 2000-12-18 | Paper |
On superpositions of continuous functions defined on the Baire space | 2000-10-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4948330 | 2000-06-07 | Paper |
A-classification of idempotent functions of many-valued logic | 2000-04-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4209053 | 1999-09-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4242299 | 1999-05-10 | Paper |
Clone classification of dually discriminator algebras with finite support | 1999-03-23 | Paper |
The \(S\)-classification of idempotent algebras with a finite support | 1998-06-11 | Paper |
Basic relations of the S-classification of functions of the multi-valued logic | 1997-03-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4866352 | 1996-03-20 | Paper |
On precomplete classes in Cartesian products of P 2 and P 3 | 1995-05-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q3364312 | 1995-01-01 | Paper |
On the id-decompositions of the class P k over precomplete classes | 1994-09-08 | Paper |
On the Slupecki classes in the systems Pk x ... x Pl | 1994-09-07 | Paper |
On the uniform id-decomposability of Boolean functions | 1994-04-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4278549 | 1994-03-13 | Paper |
On the completeness in the System P 3 x P 3 | 1993-01-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4001697 | 1992-09-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q3987231 | 1992-06-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3980811 | 1992-06-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3970878 | 1992-06-25 | Paper |
Existence of infinite bases with respect to superposition in certain classes of one-place functions | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3199407 | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3476800 | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3496376 | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3489985 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3496385 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3829075 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4731176 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3811707 | 1988-01-01 | Paper |
Existence of superposition bases in countable primitively recursively closed classes | 1986-01-01 | Paper |
Existence of finite bases in closed classes of Boolean functions | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3663261 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4745813 | 1982-01-01 | Paper |
The complexity of computing exponents | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3661640 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3666906 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3699681 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3929788 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3937370 | 1981-01-01 | Paper |
Complexity of algorithms and computations | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3039314 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3880822 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3922678 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3922679 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3926809 | 1980-01-01 | Paper |
Existence of superposition bases in countable primitive-recursively closed classes of one-place functions | 1980-01-01 | Paper |
A superposition basis in the class of Kalmar elementary functions | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3893897 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3901504 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3901507 | 1979-01-01 | Paper |
A method for constructing maximal subalgebras of algebras of general recursive functions | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4138721 | 1977-01-01 | Paper |
ON RECURSIVELY ENUMERABLE MINIMAL BTT-DEGREES | 1977-01-01 | Paper |
On the congruence of the upper semilattices of recursively enumerable m- powers and tabular powers | 1976-01-01 | Paper |
The existence of recursively enumerable minimal truth-tabular degrees | 1976-01-01 | Paper |
Tabular powers of maximal sets | 1976-01-01 | Paper |
One class of partial sets | 1976-01-01 | Paper |
Elementary Skolem functions | 1975-01-01 | Paper |
The computable enumerations of families of general recursive functions | 1974-01-01 | Paper |
Existence of families without positive numerations | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5672884 | 1972-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4063423 | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5654031 | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5668459 | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5672883 | 1970-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5582339 | 1969-01-01 | Paper |
Elimination of recursion schemas in the Grzegorczyk \(\mathcal{E}^2\) class | 1969-01-01 | Paper |