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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Inge Bethke