| Publication | Date of Publication | Type |
|---|
| Program correctness and matricial iteration theories | 2023-08-16 | Paper |
| Some quasi-varieties of iteration theories | 2023-04-28 | Paper |
| Nonfinite axiomatizability of shuffle inequalities | 2022-08-18 | Paper |
| Solving polynomial fixed point equations | 2022-08-18 | Paper |
| Free shuffle algebras in language varieties extended abstract | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416162 | 2014-05-19 | Paper |
| Unique, guarded fixed points in an additive setting | 2013-08-16 | Paper |
| A note on ordinal DFAs | 2013-03-20 | Paper |
| ALGEBRAIC LINEAR ORDERINGS | 2011-03-30 | Paper |
| Algebraic Ordinals | 2010-10-01 | Paper |
| A Mezei-Wright theorem for categorical algebras | 2009-12-15 | Paper |
| Cycle-Free Finite Automata in Partial Iterative Semirings | 2009-11-05 | Paper |
| FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 2009-08-06 | Paper |
| Axiomatizing rational power series over natural numbers | 2009-07-15 | Paper |
| Regular and Algebraic Words and Ordinals | 2009-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5506336 | 2009-01-28 | Paper |
| On Algebras with Iteration | 2008-12-22 | Paper |
| The equational theory of regular words | 2005-05-12 | Paper |
| Axiomatizing omega and omega-op powers of words | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4454841 | 2004-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449535 | 2004-02-11 | Paper |
| Iteration 2-theories | 2002-03-13 | Paper |
| Long words: The theory of concatenation and \(\omega\)-power | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508392 | 2001-03-22 | Paper |
| Varieties generated by languages with poset operations | 1998-09-08 | Paper |
| The equational logic of fixed points | 1998-07-22 | Paper |
| Axiomatizing shuffle and concatenation in languages | 1998-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373552 | 1998-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4348001 | 1997-08-12 | Paper |
| Matrices, machines and behaviors | 1997-04-09 | Paper |
| Free shuffle algebras in language varieties | 1997-02-27 | Paper |
| Fixed-point operations on ccc's. I | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896924 | 1996-12-09 | Paper |
| SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S | 1995-12-03 | Paper |
| Notes on equational theories of relations | 1995-02-22 | Paper |
| Floyd-Hoare logic in iteration theories | 1994-11-13 | Paper |
| Equational axioms for regular sets | 1994-09-22 | Paper |
| Matrix and matricial iteration theories. I | 1993-08-18 | Paper |
| Matrix and matricial iteration theories. II | 1993-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5287508 | 1993-07-08 | Paper |
| ITERATION ALGEBRAS | 1993-06-29 | Paper |
| Iteration theories of synchronization trees | 1993-05-16 | Paper |
| A Cayley Theorem for Boolean Algebras | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3974854 | 1992-06-26 | Paper |
| A note on guarded theories | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971256 | 1992-06-25 | Paper |
| Equational logic of circular data type specification | 1989-01-01 | Paper |
| Varieties of Iteration Theories | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3759012 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4725775 | 1986-01-01 | Paper |
| A logical characterization of observation equivalence | 1985-01-01 | Paper |
| Axiomatizing schemes and their behaviors | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3678690 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3695436 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777431 | 1985-01-01 | Paper |
| Recursion and iteration in continuous theories: the M-construction | 1983-01-01 | Paper |
| All solutions of a system of recursion equations in infinite trees and other contraction theories | 1983-01-01 | Paper |
| P-varieties - a signature independent characterization of varieties of ordered algebras | 1983-01-01 | Paper |
| Varieties of ”If-Then-Else“ | 1983-01-01 | Paper |
| Finitary quasi-varieties | 1982-01-01 | Paper |
| A note on the logic of signed equations | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3663501 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4741697 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3911391 | 1981-01-01 | Paper |
| Compatible Orderings on the Metric Theory of Trees | 1980-01-01 | Paper |
| Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation | 1980-01-01 | Paper |
| Vector Iteration in Pointed Iterative Theories | 1980-01-01 | Paper |
| Algebraic and graph theoretic characterizations of structured flowchart schemes | 1979-01-01 | Paper |
| On the algebraic structure of rooted trees | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156765 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4191571 | 1978-01-01 | Paper |
| Scalar and vector iteration | 1977-01-01 | Paper |
| The existence and construction of free iterative theories | 1976-01-01 | Paper |
| Varieties of ordered algebras | 1976-01-01 | Paper |
| Projective and inductive generation of abstract logics | 1976-01-01 | Paper |
| Some theorems on structural consequence operations | 1975-01-01 | Paper |
| A representation theorem for the lattice of standard consequence operations | 1975-01-01 | Paper |
| A note on the predicatively definable sets of N. N. Nepeîvoda | 1975-01-01 | Paper |
| On 'generalized logics' | 1974-01-01 | Paper |
| On regular congruences | 1974-01-01 | Paper |
| Extension of Gödel's completeness theorem and the Löwenheim-Skolem theorem | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4078024 | 1973-01-01 | Paper |
| Investigations into the sentential calculus with identity | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631095 | 1972-01-01 | Paper |
| Some theorems on abstract logics | 1971-01-01 | Paper |
| Semantics for the sentential calculus with identity | 1971-01-01 | Paper |
| A completeness theorem for theories of kind W | 1971-01-01 | Paper |
| Some Remarks on Uniform Halting Problems | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5678429 | 1971-01-01 | Paper |
| The Hyperprojective Hierarchy | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609356 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5620598 | 1970-01-01 | Paper |
| A semi-completeness theorem | 1969-01-01 | Paper |
| A note on the arithmetical hierarchy | 1968-01-01 | Paper |
