Jochen Burghardt

	2005
8		Jochen Burghardt: E-generalization using grammars. Artif. Intell. 165(1): 1-35 (2005)
	2002
7		Jochen Burghardt: Axiomatization of Finite Algebras. KI 2002: 222-234
	2001
6		Jochen Burghardt, Florian Kammüller, Jeff W. Sanders: On the antisymmetry of Galois embeddings. Inf. Process. Lett. 79(2): 57-63 (2001)
5		Jochen Burghardt: Maintaining Partial Sums in Logarithmic Time. Nord. J. Comput. 8(4): 473-474 (2001)
	1995
4		Jochen Burghardt: Deductive Synthesis. Formal Development of Reactive Systems 1995: 295-309
3		Jochen Burghardt: A Fine-Grain Sort Discipline and Its Application to Formal Program Construction. KORSO Book 1995: 190-204
2		Jochen Burghardt: Regular Substitution Sets: A Means of Controlling E-Unification. RTA 1995: 382-396
	1988
1		Jochen Burghardt: A Tree Pattern Matching Algorithm with Reasonable Space Requirements. CAAP 1988: 1-15

Coauthor Index

1	Florian Kammüller	[6]
2	Jeff W. Sanders (Jeffrey W. Sanders)	[6]