| Publication | Date of Publication | Type |
|---|
| Affine Completeness of Some Free Binary Algebras | 2022-10-07 | Paper |
| About boundedness for some datalog and DATALOGneg programs | 2022-08-18 | Paper |
| The algebra of binary trees is affine complete | 2022-01-27 | Paper |
| Affine completeness of some free binary algebras | 2021-06-24 | Paper |
| Affine completeness of the algebra of full binary trees | 2021-01-14 | Paper |
| The algebra of complete binary trees is affine complete | 2020-05-18 | Paper |
| Congruence preserving functions on free monoids | 2017-12-21 | Paper |
| Characterizing congruence preserving functions $Z/nZ\to Z/mZ$ via rational polynomials | 2016-10-28 | Paper |
| Newton representation of functions over natural integers having integral difference ratios | 2015-11-17 | Paper |
| Arithmetical Congruence Preservation: From Finite to Infinite | 2015-09-22 | Paper |
| Integral Difference Ratio Functions on Integers | 2015-09-08 | Paper |
| On lattices of regular sets of natural integers closed under decrementation | 2014-04-15 | Paper |
| Normalization of Some Extended Abstract State Machines | 2010-09-03 | Paper |
| Multiple serial episodes matching | 2010-01-18 | Paper |
| Tree inclusions in windows and slices | 2010-01-15 | Paper |
| Inf-datalog, Modal Logic and Complexities | 2008-12-22 | Paper |
| Tree inclusion problems | 2008-07-21 | Paper |
| Window Subsequence Problems for Compressed Texts | 2007-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430294 | 2003-10-20 | Paper |
| On temporal logic versus Datalog | 2003-08-17 | Paper |
| Window-accumulated subsequence matching problem is linear | 2002-11-27 | Paper |
| The expressiveness of DAC | 2002-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942662 | 2000-03-16 | Paper |
| Transforming constraint logic programs | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4365822 | 1998-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4869542 | 1996-03-11 | Paper |
| About Boundedness for some Datalog and Datalogneg Programs | 1995-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273669 | 1994-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694701 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029590 | 1993-03-28 | Paper |
| Translation of logic programs into functional fixpoint equations | 1989-01-01 | Paper |
| Fixpoint strategies for deductive databases | 1989-01-01 | Paper |
| Fairness and regularity for SCCS processes | 1989-01-01 | Paper |
| On the minimal number of \(\times\) operators to model regularity in fair SCCS | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787456 | 1988-01-01 | Paper |
| A note on fixpoint techniques in data base recursive logic programs | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3817577 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3821632 | 1988-01-01 | Paper |
| Algebraic solutions to recursion schemes | 1987-01-01 | Paper |
| A unifying theorem for algebraic semantics and dynamic logics | 1987-01-01 | Paper |
| On the Axiomatization of “If-Then-Else” | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773309 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3738547 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3719823 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4727402 | 1985-01-01 | Paper |
| Iterative and recursive matrix theories | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3040484 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3696541 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3036693 | 1983-01-01 | Paper |
| Pushdown tree automata | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3317088 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3219132 | 1982-01-01 | Paper |
| Algebraic semantics | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917489 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3877019 | 1980-01-01 | Paper |
| Program transformations and algebraic semantics | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4191573 | 1979-01-01 | Paper |
| On some classes of interpretations | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3920618 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4157923 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160377 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4174208 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190098 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4139645 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4139646 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4065012 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4050092 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4771386 | 1974-01-01 | Paper |
