Alexander Herold

According to our database, Alexander Herold authored at least 14 papers between 1981 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

CLP in ECRC.

Micha Meier, Alexander Herold

Proceedings of the Principles and Practice of Constraint Programming, 1995

1992

Contraint Logic Programming - An Informal Introduction.

Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace

Proceedings of the Logic Programming in Action, 1992

1989

On Equational Theories, Unification, and (Un)Decidability.

Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß

J. Symb. Comput., 1989

SEPIA - An Extendible Prolog System.

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

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Opening the AC-Unification Race.

Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang

J. Autom. Reason., 1988

The CHIP System: Constraint Handling In Prolog.

Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Combination of unification algorithms in equational theories.

Alexander Herold

PhD thesis, 1987

Unification in Abelian Semigroups.

Alexander Herold, Jörg H. Siekmann

J. Autom. Reason., 1987

On Equational Theories, Unification and Decidability.

Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß

Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987

Narrowing Techniques Applied to Idempotent Unification.

Alexander Herold

Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

1986

Unifikation - Das aktuelle Schlagwort.

Hans-Jürgen Bürckert, Alexander Herold

Inform. Spektrum, 1986

Combination of Unification Algorithms.

Alexander Herold

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1982

Universal Unification and a Class of Equational Theories.

Alexander Herold

Proceedings of the GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27, 1982

1981

The Markgraf Karl Refutation Procedure.

Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981