Alexander Herold

1995
13		Micha Meier, Alexander Herold: CLP in ECRC. CP 1995: 636-639
1992
12		Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace: Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School 1992: 3-35
1989
11		Micha Meier, Abderrahmane Aggoun, David Chan, Pierre Dufresne, Reinhard Enders, Dominique Henry de Villeneuve, Alexander Herold, Philip Kay, Bruno Perez, Emmanuel van Rossum, Joachim Schimpf: SEPIA - An Extendible Prolog System. IFIP Congress 1989: 1127-1132
10		Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß: On Equational Theories, Unification, and (Un)Decidability. J. Symb. Comput. 8(1/2): 3-49 (1989)
1988
9		Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold: The CHIP System: Constraint Handling In Prolog. CADE 1988: 774-775
8		Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang: Opening the AC-Unification Race. J. Autom. Reasoning 4(4): 465-474 (1988)
1987
7		Alexander Herold: Narrowing Techniques Applied to Idempotent Unification. GWAI 1987: 231-240
6		Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß: On Equational Theories, Unification and Decidability. RTA 1987: 204-215
5		Alexander Herold, Jörg H. Siekmann: Unification in Abelian Semigroups. J. Autom. Reasoning 3(3): 247-283 (1987)
1986
4		Alexander Herold: Combination of Unification Algorithms. CADE 1986: 450-469
3		Hans-Jürgen Bürckert, Alexander Herold: Unifikation - Das aktuelle Schlagwort. Informatik Spektrum 9(3): 186-187 (1986)
1982
2		Alexander Herold: Universal Unification and a Class of Equational Theories. GWAI 1982: 177-190
1981
1		Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther: The Markgraf Karl Refutation Procedure. IJCAI 1981: 511-518

Coauthor Index

1	Abderrahmane Aggoun	[9] [11]
2	Karl-Hans Bläsius	[1]
3	Hans-Jürgen Bürckert	[3] [6] [8] [10]
4	David Chan	[11]
5	Mehmet Dincbas	[9]
6	Pierre Dufresne	[11]
7	Norbert Eisinger	[1]
8	Reinhard Enders	[11]
9	Thom W. Frühwirth	[12]
10	Pascal Van Hentenryck	[9]
11	Deepak Kapur	[8]
12	Philip Kay	[11]
13	Volker Küchenhoff	[12]
14	Pierre Lim	[12]
15	Micha Meier	[11] [13]
16	Eric Monfroy	[12]
17	Bruno Perez	[11]
18	Thierry Le Provost	[12]
19	Emmanuel van Rossum	[11]
20	Joachim Schimpf	[11]
21	Manfred Schmidt-Schauß	[6] [10]
22	Jörg H. Siekmann	[1] [5] [8]
23	Helmut Simonis	[9]
24	Gert Smolka	[1]
25	Mark E. Stickel	[8]
26	Michael Tepp	[8]
27	Dominique Henry de Villeneuve	[11]
28	Mark Wallace	[12]
29	Christoph Walther	[1]
30	Hantao Zhang	[8]

Colors in the list of coauthors