Inge Bethke

	2012
27		Jan A. Bergstra, Inge Bethke: On the Contribution of Backward Jumps to Instruction Sequence Expressiveness. Theory Comput. Syst. 50(4): 706-720 (2012)
	2011
26		Inge Bethke, Piet Rodenburg: Typability in Partial Applicative Structures. Journal of Logic, Language and Information 20(2): 161-168 (2011)
25		Inge Bethke, Alban Ponse, Piet Rodenburg: Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday. Theor. Comput. Sci. 412(28): 3033-3034 (2011)
24		Jan A. Bergstra, Inge Bethke: Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows. Theory Comput. Syst. 48(4): 840-864 (2011)
	2010
23		Jan A. Bergstra, Inge Bethke: On the contribution of backward jumps to instruction sequence expressiveness CoRR abs/1005.5662: (2010)
22		Inge Bethke, Piet Rodenburg: The initial meadows. J. Symb. Log. 75(3): 888-895 (2010)
	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] [23] [24] [27]
2	Mark Burgess	[17]
3	Jan Willem Klop	[6] [8] [9] [10]
4	Alban Ponse	[3] [4] [18] [25]
5	Pieter Hendrik Rodenburg (Piet Rodenburg)	[5] [7] [16] [20] [22] [25] [26]
6	Arjen Sevenster	[20]
7	Roel C. de Vrijer	[8] [9] [10]

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page