Alexander Herold
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1981–1995
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | CP | CLP in ECRC. | Micha Meier, Alexander Herold |
| 1988 | CADE | The CHIP System: Constraint Handling In Prolog. | Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold |
| 1987 | KI | Narrowing Techniques Applied to Idempotent Unification. | Alexander Herold |
| 1986 | CADE | Combination of Unification Algorithms. | Alexander Herold |
| 1982 | KI | Universal Unification and a Class of Equational Theories. | Alexander Herold |
| 1981 | IJCAI | The Markgraf Karl Refutation Procedure. | Karl-Hans Blsius, Norbert Eisinger, Jrg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther |