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 |
Problems of inclusion and equivalence for program schemata and formal languages | 1995-08-06 | Paper |
Axiomatic theory of partial continuous functions and the Peano curve | 1995-08-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4272067 | 1994-04-21 | Paper |
An undecidable problem for countable markov chains | 1992-09-27 | Paper |
Classe of functions defined by transducers | 1992-09-27 | Paper |
Operations on R-numbers | 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/Q3362118 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5752571 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3824386 | 1988-01-01 | Paper |
Reversal-bounded multicounter ?-machines | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4205085 | 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 |
https://portal.mardi4nfdi.de/entity/Q3694312 | 1985-01-01 | Paper |
Regular algebra of functionals of labeled trees | 1985-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 |
https://portal.mardi4nfdi.de/entity/Q5186756 | 1984-01-01 | Paper |
Metalinear recursive schemas on marked trees | 1983-01-01 | Paper |
Minimal undecidable identity problem for finite-automaton mappings | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3663528 | 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 |
Equivalence problem for finitely iterated counter machines | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3930650 | 1980-01-01 | Paper |
Strict sets and finite semigroup coverings | 1980-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/Q3891738 | 1979-01-01 | Paper |
Equivalence problem for finitely ambiguous finite automata over semigroups | 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 |