| Publication | Date of Publication | Type |
|---|
Affine Completeness of Some Free Binary Algebras
Fundamenta Informaticae | 2022-10-07 | Paper |
About boundedness for some DATALOG and DATALOG\textsuperscript{neg} programs
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
The algebra of binary trees is affine complete
Discrete Mathematics & Theoretical Computer Science | 2022-01-27 | Paper |
The algebra of binary trees is affine complete
Discrete Mathematics & Theoretical Computer Science | 2022-01-27 | Paper |
Affine completeness of some free binary algebras
(available as arXiv preprint) | 2021-06-24 | Paper |
Affine completeness of the algebra of full binary trees
Algebra Universalis | 2021-01-14 | Paper |
| The algebra of complete binary trees is affine complete | 2020-05-18 | Paper |
Congruence preserving functions on free monoids
Algebra Universalis | 2017-12-21 | Paper |
Characterizing congruence preserving functions \(\mathbb Z/n\mathbb Z \to \mathbb Z/m\mathbb Z\) via rational polynomials
Integers | 2016-10-28 | Paper |
Characterizing congruence preserving functions \(\mathbb Z/n\mathbb Z \to \mathbb Z/m\mathbb Z\) via rational polynomials
Integers | 2016-10-28 | Paper |
Newton representation of functions over natural integers having integral difference ratios
International Journal of Number Theory | 2015-11-17 | Paper |
Arithmetical congruence preservation: from finite to infinite
Fields of Logic and Computation II | 2015-09-22 | Paper |
Integral Difference Ratio Functions on Integers
Computing with New Resources | 2015-09-08 | Paper |
On lattices of regular sets of natural integers closed under decrementation
Information Processing Letters | 2014-04-15 | Paper |
Normalization of Some Extended Abstract State Machines
Fields of Logic and Computation | 2010-09-03 | Paper |
Multiple serial episodes matching
Information Processing Letters | 2010-01-18 | Paper |
Tree inclusions in windows and slices
Journal of Mathematical Sciences (New York) | 2010-01-15 | Paper |
Inf-datalog, Modal Logic and Complexities
RAIRO - Theoretical Informatics and Applications | 2008-12-22 | Paper |
Inf-datalog, Modal Logic and Complexities
RAIRO - Theoretical Informatics and Applications | 2008-12-22 | Paper |
Tree inclusion problems
RAIRO - Theoretical Informatics and Applications | 2008-07-21 | Paper |
Tree inclusion problems
RAIRO - Theoretical Informatics and Applications | 2008-07-21 | Paper |
Window Subsequence Problems for Compressed Texts
Computer Science – Theory and Applications | 2007-05-02 | Paper |
| scientific article; zbMATH DE number 1988967 (Why is no real title available?) | 2003-10-20 | Paper |
On temporal logic versus Datalog
Theoretical Computer Science | 2003-08-17 | Paper |
Window-accumulated subsequence matching problem is linear
Annals of Pure and Applied Logic | 2002-11-27 | Paper |
The expressiveness of DAC
Theoretical Computer Science | 2002-08-13 | Paper |
| scientific article; zbMATH DE number 1414325 (Why is no real title available?) | 2000-03-16 | Paper |
Transforming constraint logic programs
Theoretical Computer Science | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 1089087 (Why is no real title available?) | 1998-03-16 | Paper |
| scientific article; zbMATH DE number 854569 (Why is no real title available?) | 1996-03-11 | Paper |
About Boundedness for some Datalog and Datalogneg Programs
Journal Of Logic And Computation | 1995-11-22 | Paper |
| scientific article; zbMATH DE number 475422 (Why is no real title available?) | 1994-10-31 | Paper |
| scientific article; zbMATH DE number 219219 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 139611 (Why is no real title available?) | 1993-03-28 | Paper |
Translation of logic programs into functional fixpoint equations
Theoretical Computer Science | 1989-01-01 | Paper |
Fixpoint strategies for deductive databases
Discrete Applied Mathematics | 1989-01-01 | Paper |
Fairness and regularity for SCCS processes
RAIRO - Theoretical Informatics and Applications | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4090769 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4094869 (Why is no real title available?) | 1988-01-01 | Paper |
On the minimal number of \(\times\) operators to model regularity in fair SCCS
Information Processing Letters | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4050966 (Why is no real title available?) | 1988-01-01 | Paper |
A note on fixpoint techniques in data base recursive logic programs
RAIRO - Theoretical Informatics and Applications | 1988-01-01 | Paper |
On the Axiomatization of “If-Then-Else”
SIAM Journal on Computing | 1987-01-01 | Paper |
Algebraic solutions to recursion schemes
Journal of Computer and System Sciences | 1987-01-01 | Paper |
A unifying theorem for algebraic semantics and dynamic logics
Information and Computation | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4033048 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3972168 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3949705 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4001450 (Why is no real title available?) | 1985-01-01 | Paper |
Iterative and recursive matrix theories
Journal of Algebra | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3835320 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3922007 (Why is no real title available?) | 1984-01-01 | Paper |
Pushdown tree automata
Mathematical Systems Theory | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3847366 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3831283 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3885333 (Why is no real title available?) | 1982-01-01 | Paper |
Algebraic semantics
Lecture Notes in Computer Science | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3729448 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3681111 (Why is no real title available?) | 1980-01-01 | Paper |
Program transformations and algebraic semantics
Theoretical Computer Science | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3630192 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3609101 (Why is no real title available?) | 1978-01-01 | Paper |
On some classes of interpretations
Journal of Computer and System Sciences | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3628349 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3733231 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3589704 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3594624 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3567992 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3567993 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3481812 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3445422 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3464804 (Why is no real title available?) | 1974-01-01 | Paper |
