dblp.uni-trier.dewww.uni-trier.de

Jochen Burghardt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2005
8EEJochen Burghardt: E-generalization using grammars. Artif. Intell. 165(1): 1-35 (2005)
2002
7EEJochen Burghardt: Axiomatization of Finite Algebras. KI 2002: 222-234
2001
6EEJochen Burghardt, Florian Kammüller, Jeff W. Sanders: On the antisymmetry of Galois embeddings. Inf. Process. Lett. 79(2): 57-63 (2001)
5EEJochen 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)