Inge Bethke

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
A negative result on algebraic specifications of the meadow of rational numbers	2019-07-24	Paper
Subvarieties of the Variety of Meadows	2019-02-08	Paper
Collapsing partial combinatory algebras	2019-01-11	Paper
Note on paraconsistency and reasoning about fractions	2018-09-12	Paper
Universality of Univariate Mixed Fractions in Divisive Meadows	2017-07-03	Paper
Equations for formally real meadows	2015-05-15	Paper
The structure of finite meadows	2015-02-27	Paper
On the contribution of backward jumps to instruction sequence expressiveness	2012-12-06	Paper
Typability in partial applicative structures	2011-06-30	Paper
Straight-line instruction sequence completeness for total calculation on cancellation meadows	2011-05-25	Paper
The initial meadows	2010-10-04	Paper
An upper bound for the equational specification of finite state services	2009-12-04	Paper
Typability in partial groupoids	2009-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5457378	2008-04-14	Paper
Cancellation Meadows: a Generic Basis Theorem and Some Applications	2008-03-27	Paper
Decision problems for pushdown threads	2007-06-07	Paper
Polarized process algebra with reactive composition	2005-11-01	Paper
Network algebra in Java	2005-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4449159	2004-02-08	Paper
Molecular dynamics	2003-02-13	Paper
Descendants and origins in term rewriting.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4525274	2001-01-22	Paper
Extending partial combinatory algebras	1999-11-25	Paper
A propositional logic with 4 values: true, false, divergent and meaningless	1996-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q4864464	1996-03-05	Paper
Finite type structures within combinatory algebras	1992-06-28	Paper
Coherence spaces are untopological	1992-06-26	Paper

Research outcomes over time

This page was built for person: Inge Bethke