| Publication | Date of Publication | Type |
|---|
A negative result on algebraic specifications of the meadow of rational numbers
(available as arXiv preprint) | 2019-07-24 | Paper |
Subvarieties of the Variety of Meadows
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Collapsing partial combinatory algebras
Higher-Order Algebra, Logic, and Term Rewriting | 2019-01-11 | Paper |
Note on paraconsistency and reasoning about fractions
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
| Universality of Univariate Mixed Fractions in Divisive Meadows | 2017-07-03 | Paper |
Equations for formally real meadows
Journal of Applied Logic | 2015-05-15 | Paper |
The structure of finite meadows
Journal of Logical and Algebraic Methods in Programming | 2015-02-27 | Paper |
On the contribution of backward jumps to instruction sequence expressiveness
Theory of Computing Systems | 2012-12-06 | Paper |
Typability in partial applicative structures
Journal of Logic, Language and Information | 2011-06-30 | Paper |
Straight-line instruction sequence completeness for total calculation on cancellation meadows
Theory of Computing Systems | 2011-05-25 | Paper |
The initial meadows
Journal of Symbolic Logic | 2010-10-04 | Paper |
The initial meadows
Journal of Symbolic Logic | 2010-10-04 | Paper |
An upper bound for the equational specification of finite state services
Information Processing Letters | 2009-12-04 | Paper |
| Typability in partial groupoids | 2009-01-01 | Paper |
| scientific article; zbMATH DE number 5263139 (Why is no real title available?) | 2008-04-14 | Paper |
| Cancellation Meadows: a Generic Basis Theorem and Some Applications | 2008-03-27 | Paper |
Decision problems for pushdown threads
Acta Informatica | 2007-06-07 | Paper |
Polarized process algebra with reactive composition
Theoretical Computer Science | 2005-11-01 | Paper |
Network algebra in Java
The Journal of Logic and Algebraic Programming | 2005-02-22 | Paper |
| scientific article; zbMATH DE number 2038694 (Why is no real title available?) | 2004-02-08 | Paper |
Molecular dynamics
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
Descendants and origins in term rewriting.
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1555176 (Why is no real title available?) | 2001-01-22 | Paper |
Extending partial combinatory algebras
Mathematical Structures in Computer Science | 1999-11-25 | Paper |
A propositional logic with 4 values: true, false, divergent and meaningless
Journal of Applied Non-Classical Logics | 1996-08-15 | Paper |
| scientific article; zbMATH DE number 845921 (Why is no real title available?) | 1996-03-05 | Paper |
Finite type structures within combinatory algebras
Annals of Pure and Applied Logic | 1992-06-28 | Paper |
Coherence spaces are untopological
Theoretical Computer Science | 1992-06-26 | Paper |
