| 2009 |
|---|
| 20 | EE | Jan A. Bergstra,
Inge Bethke:
Square root meadows
CoRR abs/0901.4664: (2009) |
| 19 | EE | Inge Bethke,
Piet Rodenburg,
Arjen Sevenster:
The structure of finite meadows
CoRR abs/0903.1196: (2009) |
| 2007 |
|---|
| 18 | EE | Jan A. Bergstra,
Inge Bethke,
Alban Ponse:
Decision problems for pushdown threads.
Acta Inf. 44(2): 75-90 (2007) |
| 17 | EE | Jan A. Bergstra,
Inge Bethke,
Mark Burgess:
A process algebra based framework for promise theory
CoRR abs/0707.0744: (2007) |
| 16 | EE | Inge Bethke,
Piet Rodenburg:
Some properties of finite meadows
CoRR abs/0712.0917: (2007) |
| 2005 |
|---|
| 15 | EE | Jan A. Bergstra,
Inge Bethke:
An upper bound for the equational specification of finite state services.
Inf. Process. Lett. 94(6): 267-269 (2005) |
| 14 | EE | Jan A. Bergstra,
Inge Bethke:
Network algebra in Java.
J. Log. Algebr. Program. 62(2): 247-271 (2005) |
| 13 | EE | Jan A. Bergstra,
Inge Bethke:
Polarized process algebra with reactive composition.
Theor. Comput. Sci. 343(3): 285-304 (2005) |
| 2003 |
|---|
| 12 | EE | Jan A. Bergstra,
Inge Bethke:
Polarized Process Algebra and Program Equivalence.
ICALP 2003: 1-21 |
| 2002 |
|---|
| 11 | EE | Jan A. Bergstra,
Inge Bethke:
Molecular dynamics.
J. Log. Algebr. Program. 51(2): 193-214 (2002) |
| 2000 |
|---|
| 10 | | Inge Bethke,
Jan Willem Klop,
Roel C. de Vrijer:
Descendants and Origins in Term Rewriting.
Inf. Comput. 159(1-2): 59-124 (2000) |
| 1999 |
|---|
| 9 | | Inge Bethke,
Jan Willem Klop,
Roel C. de Vrijer:
Extending partial combinatory algebras.
Mathematical Structures in Computer Science 9(4): 483-505 (1999) |
| 1996 |
|---|
| 8 | | Inge Bethke,
Jan Willem Klop,
Roel C. de Vrijer:
Completing Partial Combinatory Algebras With Unique Head-Normal Forms.
LICS 1996: 448-454 |
| 7 | | Inge Bethke,
Piet Rodenburg:
Equational Constructor Induction.
Fundam. Inform. 25(1): 1-15 (1996) |
| 1995 |
|---|
| 6 | | Inge Bethke,
Jan Willem Klop:
Collapsing Partial Combinatory Algebras.
HOA 1995: 57-73 |
| 5 | | Jan A. Bergstra,
Inge Bethke,
Piet Rodenburg:
A propositional logic with 4 values: true, false, divergent and meaningless.
Journal of Applied Non-Classical Logics 5(2): (1995) |
| 1994 |
|---|
| 4 | | Jan A. Bergstra,
Inge Bethke,
Alban Ponse:
Process Algebra with Iteration and Nesting.
Comput. J. 37(4): 243-258 (1994) |
| 1993 |
|---|
| 3 | | Jan A. Bergstra,
Inge Bethke,
Alban Ponse:
Process Algebra with Combinators.
CSL 1993: 36-65 |
| 1991 |
|---|
| 2 | | Inge Bethke:
Finite Type Structures within Combinatory Algebras.
Ann. Pure Appl. Logic 55(2): 101-123 (1991) |
| 1 | | Inge Bethke:
Coherence Spaces are Untopological.
Theor. Comput. Sci. 85(2): 353-357 (1991) |
