Publication | Date of Publication | Type |
---|
On the multiplicity equivalence problem for context-free grammars | 2024-01-29 | Paper |
The Triple-Pair Construction for Weighted ω-Pushdown Automata | 2023-08-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q5875673 | 2023-02-03 | Paper |
A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS | 2022-12-06 | Paper |
Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata | 2022-06-08 | Paper |
Semirings and Formal Power Series | 2022-04-28 | Paper |
Finite Automata | 2022-04-28 | Paper |
Logic for \(\omega\)-pushdown automata | 2022-01-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5016362 | 2021-12-13 | Paper |
Weighted simple reset pushdown automata | 2019-06-18 | Paper |
The algebraic equivalent of AFL theory | 2019-01-10 | Paper |
Solving Fixed Point Equations over Complete Semirings | 2018-09-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4637683 | 2018-04-25 | Paper |
A Kleene Theorem for Weighted ω-Pushdown Automata | 2017-08-25 | Paper |
Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems | 2017-08-25 | Paper |
Zoltán Ésik (1951 - 2016) - In Memoriam. | 2017-06-13 | Paper |
Why We Need Semirings in Automata Theory (Extended Abstract) | 2015-09-22 | Paper |
On Power Series over a Graded Monoid | 2015-09-08 | Paper |
Conway and iteration hemirings Part 1 | 2014-08-19 | Paper |
Conway and iteration hemirings Part 2 | 2014-08-19 | Paper |
Weighted finite automata over hemirings | 2014-01-07 | Paper |
Free inductive \(K\)-semialgebras | 2013-12-06 | Paper |
LINEAR LANGUAGES OF FINITE AND INFINITE WORDS | 2013-06-03 | Paper |
Free iterative and iteration \(K\)-semialgebras | 2012-05-03 | Paper |
Algebraic Systems and Pushdown Automata | 2011-11-11 | Paper |
A Unifying Kleene Theorem for Weighted Finite Automata | 2011-05-27 | Paper |
Fundamentals of Computation Theory | 2010-04-20 | Paper |
BOOLEAN FUZZY SETS | 2010-01-29 | Paper |
Cycle-Free Finite Automata in Partial Iterative Semirings | 2009-11-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q5506336 | 2009-01-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3536079 | 2008-11-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q3515222 | 2008-07-29 | Paper |
On iteration semiring-semimodule pairs. | 2007-11-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q5422503 | 2007-10-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q5421932 | 2007-10-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q5422232 | 2007-10-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q3431478 | 2007-04-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3431479 | 2007-04-10 | Paper |
Fuzzy regular languages over finite and infinite words | 2006-06-16 | Paper |
Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4662830 | 2005-03-30 | Paper |
Theory Is Forever | 2005-01-18 | Paper |
Inductive \(^{*}\)-semirings | 2004-10-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4449537 | 2004-02-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4793134 | 2003-02-18 | Paper |
Pushdown tree automata, algebraic tree systems, and algebraic tree series | 2003-01-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4782710 | 2002-12-02 | Paper |
Locally closed semirings | 2002-12-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4782113 | 2002-11-27 | Paper |
Formal series over sorted algebras | 2002-08-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4536384 | 2002-06-25 | Paper |
Atoms and partial orders of infinite languages | 2002-05-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q2776608 | 2002-02-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4500367 | 2001-05-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4520277 | 2001-02-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q4510923 | 2000-10-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4942244 | 2000-07-20 | Paper |
On certain closure operators defined by families of semiring morphisms | 2000-05-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4699309 | 2000-03-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4941155 | 2000-02-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4269222 | 1999-10-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q4218125 | 1999-08-03 | Paper |
CONES AND ABSTRACT FAMILIES OF ELEMENTS | 1998-12-10 | Paper |
On Lindenmayerian algebraic power series | 1998-07-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4371014 | 1998-01-07 | Paper |
Representations and complete semiring morphisms | 1997-02-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4874655 | 1996-08-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q3979106 | 1992-06-26 | Paper |
Automata and languages generalized to \(\omega\)-continuous semirings | 1991-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3826114 | 1989-01-01 | Paper |
Matrix systems and principal cones of algebraic power series | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5751951 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3026363 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3027187 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3821593 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3026362 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3704880 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3028363 | 1985-01-01 | Paper |
Semitopological semirings and pushdown automata | 1984-01-01 | Paper |
Infinite linear systems and one counter languages | 1983-01-01 | Paper |
An algebraic characterization of some principal regulated rational cones | 1982-01-01 | Paper |
The characterization of parallel ultralinear grammars by rational power series | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3907110 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3920663 | 1981-01-01 | Paper |
The characterization of nonexpansive grammars by rational power series | 1981-01-01 | Paper |
Generating functions for derivation trees | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3883538 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4197351 | 1979-01-01 | Paper |
The structure generating function of some families of languages | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5661809 | 1972-01-01 | Paper |
A contect-free language and enumeration problems on infinite trees and digraphs | 1971-01-01 | Paper |
On the inherent ambiguity of simple tuple languages | 1971-01-01 | Paper |
The complexity of skewlinear tuple languages and o-regular languages | 1971-01-01 | Paper |
The structure generating function and entropy of tuple languages | 1971-01-01 | Paper |
On the convergence parameter of infinite non-negative matrices | 1970-01-01 | Paper |
On the entropy of context-free languages | 1970-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5588671 | 1970-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5601350 | 1970-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5630562 | 1970-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5636313 | 1970-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5559539 | 1969-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5589121 | 1969-01-01 | Paper |
Quasi-block-stochastic matrices | 1968-01-01 | Paper |
Block-statistic matrices and associated finite-state languages | 1966-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5601981 | 1965-01-01 | Paper |