Inge Bethke
Identifiers
- name variant Inge Bethke 0.60 · backfill
Papers (12)
- Universality of Univariate Mixed Fractions in Divisive Meadows math.RA · 2017 · author #2
- Subvarieties of the variety of meadows math.RA · 2015 · author #2
- A negative result on algebraic specifications of the meadow of rational numbers math.RA · 2015 · author #2
- Note on paraconsistency and reasoning about fractions cs.LO · 2014 · author #2
- Equations for formally real meadows math.RA · 2013 · author #2
- On the contribution of backward jumps to instruction sequence expressiveness cs.LO · 2010 · author #2
- Straight-line instruction sequence completeness for total calculation on cancellation meadows cs.LO · 2009 · author #2
- The structure of finite meadows cs.LO · 2009 · author #1
- The initial meadows math.RA · 2008 · author #1
- Cancellation Meadows: a Generic Basis Theorem and Some Applications math.RA · 2008 · author #2
- Some properties of finite meadows math.RA · 2007 · author #1
- A process algebra based framework for promise theory cs.LO · 2007 · author #2
Mentions
- 1410.8692 #2 · backfill · confidence 0.70 Inge Bethke
- 1310.5011 #2 · backfill · confidence 0.70 Inge Bethke
- 1005.5662 #2 · backfill · confidence 0.70 Inge Bethke
- 0905.4612 #2 · backfill · confidence 0.70 Inge Bethke
- 0903.1196 #1 · backfill · confidence 0.70 Inge Bethke
- 0806.2256 #1 · backfill · confidence 0.70 Inge Bethke
- 0803.3969 #2 · backfill · confidence 0.70 Inge Bethke
- 0712.0917 #1 · backfill · confidence 0.70 Inge Bethke
- 0707.0744 #2 · backfill · confidence 0.70 Inge Bethke
Frequent Coauthors
- Jan A. Bergstra 8 shared papers
- Piet Rodenburg 3 shared papers
- Alban Ponse 2 shared papers
- Arjen Sevenster 1 shared papers
- Dimitri Hendriks 1 shared papers
- Jan Bergstra 1 shared papers
- Mark Burgess 1 shared papers