Search the dblp DataBase

Publications of Author

1. Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold
   The CHIP System: Constraint Handling In Prolog. [Citation Graph (0, 0)][DBLP]
   CADE, 1988, pp:774-775 [Conf]
   
2. Alexander Herold
   Combination of Unification Algorithms. [Citation Graph (0, 0)][DBLP]
   CADE, 1986, pp:450-469 [Conf]
   
3. Micha Meier, Alexander Herold
   CLP in ECRC. [Citation Graph (0, 0)][DBLP]
   CP, 1995, pp:636-639 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1989, pp:1127-1132 [Conf]
   
5. Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther
   The Markgraf Karl Refutation Procedure. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1981, pp:511-518 [Conf]
   
6. Alexander Herold
   Universal Unification and a Class of Equational Theories. [Citation Graph (0, 0)][DBLP]
   GWAI, 1982, pp:177-190 [Conf]
   
7. Alexander Herold
   Narrowing Techniques Applied to Idempotent Unification. [Citation Graph (0, 0)][DBLP]
   GWAI, 1987, pp:231-240 [Conf]
   
8. Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace
   Contraint Logic Programming - An Informal Introduction. [Citation Graph (0, 0)][DBLP]
   Logic Programming Summer School, 1992, pp:3-35 [Conf]
   
9. Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
   On Equational Theories, Unification and Decidability. [Citation Graph (0, 0)][DBLP]
   RTA, 1987, pp:204-215 [Conf]
   
10. Hans-Jürgen Bürckert, Alexander Herold
    Unifikation - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1986, v:9, n:3, pp:186-187 [Journal]
    
11. 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. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:4, pp:465-474 [Journal]
    
12. Alexander Herold, Jörg H. Siekmann
    Unification in Abelian Semigroups. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1987, v:3, n:3, pp:247-283 [Journal]
    
13. Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
    On Equational Theories, Unification, and (Un)Decidability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1989, v:8, n:1/2, pp:3-49 [Journal]