The SCEAS System
Navigation Menu

Search the dblp DataBase


Alexander Herold: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.103secs, Finished in 0.104secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002