The following pages link to Inge Bethke (Q538467):
Displayed 28 items.
- Straight-line instruction sequence completeness for total calculation on cancellation meadows (Q538468) (← links)
- Typability in partial applicative structures (Q548702) (← links)
- On the contribution of backward jumps to instruction sequence expressiveness (Q692892) (← links)
- Decision problems for pushdown threads (Q884992) (← links)
- (Q1041763) (redirect page) (← links)
- An upper bound for the equational specification of finite state services (Q1041764) (← links)
- Coherence spaces are untopological (Q1178707) (← links)
- Finite type structures within combinatory algebras (Q1182485) (← links)
- Network algebra in Java (Q1763161) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Molecular dynamics (Q1858435) (← links)
- The structure of finite meadows (Q2258845) (← links)
- Equations for formally real meadows (Q2344368) (← links)
- Polarized process algebra with reactive composition (Q2571202) (← links)
- (Q4449159) (← links)
- (Q4525274) (← links)
- Note on paraconsistency and reasoning about fractions (Q4586140) (← links)
- Subvarieties of the Variety of Meadows (Q4621209) (← links)
- Collapsing partial combinatory algebras (Q4645804) (← links)
- Extending partial combinatory algebras (Q4704765) (← links)
- (Q4864464) (← links)
- A propositional logic with 4 values: true, false, divergent and meaningless (Q4868228) (← links)
- The initial meadows (Q4931095) (← links)
- A negative result on algebraic specifications of the meadow of rational numbers (Q5224683) (← links)
- (Q5457378) (← links)
- Cancellation Meadows: a Generic Basis Theorem and Some Applications (Q6208922) (← links)
- Typability in partial groupoids (Q6212166) (← links)
- Universality of Univariate Mixed Fractions in Divisive Meadows (Q6288579) (← links)