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

Alexander Herold Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
9EEMehmet 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
6EEHans-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
4EEAlexander 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)