Inge Bethke

38 papers A* 2B 1Journal 34Unranked 1
YearRankTypeTitle / Venue / Authors
2017 J jnl
Subvarieties of the Variety of Meadows.
Sci. Ann. Comput. Sci.
Jan A. Bergstra, Inge Bethke
2017 J jnl
Universality of Univariate Mixed Fractions in Divisive Meadows.
CoRR
Jan A. Bergstra, Inge Bethke, Dimitri Hendriks
2015 J jnl
A negative result on algebraic specifications of the meadow of rational numbers.
CoRR
Jan A. Bergstra, Inge Bethke
2015 J jnl
Equations for formally real meadows.
J. Appl. Log.
Jan A. Bergstra, Inge Bethke, Alban Ponse
2015 J jnl
Note on paraconsistency and reasoning about fractions.
J. Appl. Non Class. Logics
Jan A. Bergstra, Inge Bethke
2015 J jnl
Subvarieties of the variety of meadows.
CoRR
Jan A. Bergstra, Inge Bethke
2015 J jnl
The structure of finite meadows.
J. Log. Algebraic Methods Program.
Inge Bethke, Pieter Hendrik Rodenburg, Arjen Sevenster
2014 J jnl
Note on paraconsistency and the logic of fractions.
CoRR
Jan A. Bergstra, Inge Bethke
2013 J jnl
Cancellation Meadows: A Generic Basis Theorem and Some Applications.
Comput. J.
Jan A. Bergstra, Inge Bethke, Alban Ponse
2013 J jnl
Equations for formally real meadows.
CoRR
Jan A. Bergstra, Inge Bethke, Alban Ponse
2012 J jnl
On the Contribution of Backward Jumps to Instruction Sequence Expressiveness.
Theory Comput. Syst.
Jan A. Bergstra, Inge Bethke
2011 J jnl
Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday.
Theor. Comput. Sci.
Inge Bethke, Alban Ponse, Piet Rodenburg
2011 J jnl
Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows.
Theory Comput. Syst.
Jan A. Bergstra, Inge Bethke
2011 J jnl
Typability in Partial Applicative Structures.
J. Log. Lang. Inf.
Inge Bethke, Piet Rodenburg
2010 J jnl
On the contribution of backward jumps to instruction sequence expressiveness
CoRR
Jan A. Bergstra, Inge Bethke
2010 J jnl
The initial meadows.
J. Symb. Log.
Inge Bethke, Piet Rodenburg
2009 J jnl
Square root meadows
CoRR
Jan A. Bergstra, Inge Bethke
2009 J jnl
Straight-line instruction sequence completeness for total calculation on cancellation meadows
CoRR
Jan A. Bergstra, Inge Bethke
2009 J jnl
The structure of finite meadows
CoRR
Inge Bethke, Piet Rodenburg, Arjen Sevenster
2008 J jnl
Cancellation Meadows: a Generic Basis Theorem and Some Applications.
CoRR
Jan A. Bergstra, Inge Bethke, Alban Ponse
2007 J jnl
A process algebra based framework for promise theory
CoRR
Jan A. Bergstra, Inge Bethke, Mark Burgess
2007 J jnl
Decision problems for pushdown threads.
Acta Informatica
Jan A. Bergstra, Inge Bethke, Alban Ponse
2007 J jnl
Some properties of finite meadows
CoRR
Inge Bethke, Piet Rodenburg
2005 J jnl
An upper bound for the equational specification of finite state services.
Inf. Process. Lett.
Jan A. Bergstra, Inge Bethke
2005 J jnl
Network algebra in Java.
J. Log. Algebraic Methods Program.
Jan A. Bergstra, Inge Bethke
2005 J jnl
Polarized process algebra with reactive composition.
Theor. Comput. Sci.
Jan A. Bergstra, Inge Bethke
2003 A* conf
Polarized Process Algebra and Program Equivalence.
ICALP
Jan A. Bergstra, Inge Bethke
2002 J jnl
Molecular dynamics.
J. Log. Algebraic Methods Program.
Jan A. Bergstra, Inge Bethke
2000 J jnl
Descendants and Origins in Term Rewriting.
Inf. Comput.
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
1999 J jnl
Extending partial combinatory algebras.
Math. Struct. Comput. Sci.
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
1996 A* conf
Completing Partial Combinatory Algebras With Unique Head-Normal Forms.
LICS
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
1996 J jnl
Equational Constructor Induction.
Fundam. Informaticae
Inge Bethke, Piet Rodenburg
1995 J jnl
A propositional logic with 4 values: true, false, divergent and meaningless.
J. Appl. Non Class. Logics
Jan A. Bergstra, Inge Bethke, Piet Rodenburg
1995 — conf
Collapsing Partial Combinatory Algebras.
HOA
Inge Bethke, Jan Willem Klop
1994 J jnl
Process Algebra with Iteration and Nesting.
Comput. J.
Jan A. Bergstra, Inge Bethke, Alban Ponse
1993 B conf
Process Algebra with Combinators.
CSL
Jan A. Bergstra, Inge Bethke, Alban Ponse
1991 J jnl
Coherence Spaces are Untopological.
Theor. Comput. Sci.
Inge Bethke
1991 J jnl
Finite Type Structures within Combinatory Algebras.
Ann. Pure Appl. Log.
Inge Bethke