| Publication | Date of Publication | Type |
|---|
| A method of specification of fractal sets | 2009-11-24 | Paper |
| Language recognition by two-way deterministic pushdown automata | 2005-11-11 | Paper |
| The Equivalence Problem of Finite Substitutions on ab*c, with Applications | 2005-10-19 | Paper |
| Structured Turing machines | 2005-06-07 | Paper |
| A simple undecidable problem: the inclusion problem for finite substitutions on \(ab^* c\) | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818837 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737210 | 2004-08-11 | Paper |
| A class of functions computable by index grammars | 2004-03-29 | Paper |
| On descriptive systems | 2003-09-16 | Paper |
| Macrotransducers and applicative systems for partially continuous functions | 2003-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762520 | 2002-01-09 | Paper |
| The equivalence problem for finite substitutions in a regular language | 2001-02-21 | Paper |
| Application of finite transducers to the specification of mappings and fractal sets | 2001-01-28 | Paper |
| Solvability problems for \(ND\)-systems | 2001-01-15 | Paper |
| $§igma TC$-порождаемые языки и проблемы относительной эквивалентности | 2001-01-07 | Paper |
| \(R^*\)-transformers and fractal curves | 2000-05-07 | Paper |
| On axiomatizations of Boolean algebras | 2000-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941151 | 2000-02-29 | Paper |
| Real functions defined by transducers | 1999-08-31 | Paper |
| Deterministic acceptors for indexed languages | 1999-04-28 | Paper |
| Equivalence problems for transducers with a bounded number of states | 1999-03-15 | Paper |
| Another representation of finite transducers over real numbers | 1998-11-22 | Paper |
| Fractal sets defined by finite transducers | 1998-01-19 | Paper |
| Using macrotransducers to specify partial continuous operators in metric spaces | 1998-01-14 | Paper |
| Recognition of perfect labeled trees with regularity condition | 1998-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4366889 | 1997-11-25 | Paper |
| One-to-one mappings defined by finite transformers | 1997-11-06 | Paper |
| Equivalence problem of mappings relative to languages | 1997-08-24 | Paper |
| Representation of linear functionals over partially continuous functions | 1997-01-20 | Paper |
| Macrotransducers on labeled trees and partially continuous operators | 1996-12-18 | Paper |
| Equivalence of transducers relative to regular languages | 1996-11-21 | Paper |
| Decidability problems for meta-\(R\)-functions | 1996-03-27 | Paper |
| Finite transformers for construction of fractal curves | 1996-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4316711 | 1995-11-14 | Paper |
| Axiomatic theory of partial continuous functions and the Peano curve | 1995-08-06 | Paper |
| Problems of inclusion and equivalence for program schemata and formal languages | 1995-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4272067 | 1994-04-21 | Paper |
| Operations on R-numbers | 1992-09-27 | Paper |
| An undecidable problem for countable markov chains | 1992-09-27 | Paper |
| Classe of functions defined by transducers | 1992-09-27 | Paper |
| Properties of \(\Delta\)-functions | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3363054 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3197299 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5752571 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3362118 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3824386 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205085 | 1988-01-01 | Paper |
| Reversal-bounded multicounter ?-machines | 1988-01-01 | Paper |
| Algorithmic questions for real functions | 1987-01-01 | Paper |
| Quasirelations in a free group and transformator equivalence problems | 1986-01-01 | Paper |
| Metalinear schemes with transfer of constants | 1985-01-01 | Paper |
| Regular algebra of functionals of labeled trees | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3694312 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5186756 | 1984-01-01 | Paper |
| Construction of decidable singular theories of two successor functions with an extra predicate | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3332228 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3712310 | 1984-01-01 | Paper |
| Metalinear recursive schemas on marked trees | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3663528 | 1983-01-01 | Paper |
| Minimal undecidable identity problem for finite-automaton mappings | 1983-01-01 | Paper |
| Quasiidentities in a free semigroup | 1982-01-01 | Paper |
| Program schemata over cyclic interpretations | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3916752 | 1981-01-01 | Paper |
| Recursive-determinate abstract automata | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3942933 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3930650 | 1980-01-01 | Paper |
| Strict sets and finite semigroup coverings | 1980-01-01 | Paper |
| Equivalence problem for finitely iterated counter machines | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3891738 | 1979-01-01 | Paper |
| Equivalence problem for finitely ambiguous finite automata over semigroups | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3852383 | 1979-01-01 | Paper |
| Generators of regular languages | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3930649 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4168600 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178512 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128725 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4074824 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4082316 | 1975-01-01 | Paper |
