Inge Bethke

	2009
21		Jan A. Bergstra, Inge Bethke: Square root meadows CoRR abs/0901.4664: (2009)
20		Inge Bethke, Piet Rodenburg, Arjen Sevenster: The structure of finite meadows CoRR abs/0903.1196: (2009)
19		Jan A. Bergstra, Inge Bethke: Straight-line instruction sequence completeness for total calculation on cancellation meadows CoRR abs/0905.4612: (2009)
	2007
18		Jan A. Bergstra, Inge Bethke, Alban Ponse: Decision problems for pushdown threads. Acta Inf. 44(2): 75-90 (2007)
17		Jan A. Bergstra, Inge Bethke, Mark Burgess: A process algebra based framework for promise theory CoRR abs/0707.0744: (2007)
16		Inge Bethke, Piet Rodenburg: Some properties of finite meadows CoRR abs/0712.0917: (2007)
	2005
15		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		Jan A. Bergstra, Inge Bethke: Network algebra in Java. J. Log. Algebr. Program. 62(2): 247-271 (2005)
13		Jan A. Bergstra, Inge Bethke: Polarized process algebra with reactive composition. Theor. Comput. Sci. 343(3): 285-304 (2005)
	2003
12		Jan A. Bergstra, Inge Bethke: Polarized Process Algebra and Program Equivalence. ICALP 2003: 1-21
	2002
11		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)

Coauthor Index

1	Jan A. Bergstra	[3] [4] [5] [11] [12] [13] [14] [15] [17] [18] [19] [21]
2	Mark Burgess	[17]
3	Jan Willem Klop	[6] [8] [9] [10]
4	Alban Ponse	[3] [4] [18]
5	Piet Rodenburg	[5] [7] [16] [20]
6	Arjen Sevenster	[20]
7	Roel C. de Vrijer	[8] [9] [10]