| Publication | Date of Publication | Type |
|---|
| Comparison of expressive power of some query languages for databases | 2014-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3001107 | 2011-05-31 | Paper |
| Collapse results for query languages in database theory | 2007-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474843 | 2004-07-21 | Paper |
| Finite queries do not have effective syntax. | 2003-01-14 | Paper |
| A general condition for collapse results | 2002-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249219 | 2002-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2757849 | 2001-12-04 | Paper |
| Databases over a fixed infinite universe | 2001-04-26 | Paper |
| Extended order-generic queries | 2001-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501132 | 2000-09-03 | Paper |
| Normalizable linear orders and generic computations in finite models | 1999-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376044 | 1998-03-24 | Paper |
| A logic for information systems | 1997-08-04 | Paper |
| Linear logic for nets with bounded resources | 1996-01-01 | Paper |
| Linear logic with fixed resources | 1995-06-08 | Paper |
| Limitations of the program memory and the expressive power of dynamic logics | 1993-06-29 | Paper |
| ON DYNAMIC THEORIES OF FREE ALGEBRAS | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826520 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835442 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5753509 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3754601 | 1985-01-01 | Paper |
| Hierarchies of program logics | 1984-01-01 | Paper |
| The comparison of the expressive power of first-order dynamic logics | 1983-01-01 | Paper |
| Deterministic dynamic logic is strictly weaker than dynamic logic | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666821 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3039576 | 1980-01-01 | Paper |
| ON ELEMENTARY PROPERTIES OF EXISTENTIALLY CLOSED SYSTEMS | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4200049 | 1979-01-01 | Paper |
| Экзистенциальпо замкнутые коммутативные полутруппы | 1977-01-01 | Paper |
| Existentially closed regular commutative semigroups | 1975-01-01 | Paper |
| ON THE ISOMORPHISM PROBLEM FOR COMMUTATIVE SEMIGROUPS | 1975-01-01 | Paper |
| Two remarks on the varieties \({\mathfrak U}_{m,n}\) | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4046273 | 1974-01-01 | Paper |
| Categorial quasivarieties | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4043257 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3214989 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5661493 | 1972-01-01 | Paper |
| Equivalence of automata relative to a commutative semigroup | 1971-01-01 | Paper |
| On elementary theories of lattices of subgroups | 1971-01-01 | Paper |
| Elementary lattice theories for ideals in polynomial rings | 1970-01-01 | Paper |
| On simple ideals in polynomial rings | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5625143 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5603194 | 1969-01-01 | Paper |
| The isomorphism problem for commutative semigroups | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5561959 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622180 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5608077 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609382 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5561958 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5666544 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596785 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5619825 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5638301 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613945 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5638300 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586302 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586303 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3290754 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5330694 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537374 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5547668 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596793 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5735252 | 1962-01-01 | Paper |
