( en | de | ru )

 

Disambiguation of "Bürckert, Hans-Jürgen"

Author of the publication

copydeleteadd this publication to your clipboard
Opening the AC-Unification Race.

, , , , , , and . J. Autom. Reason., 4 (4): 465-474 (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hans-Jürgen Bürckert

Heinrich Bürckert

Walter Schmid-Bürckert

Hans-Jürgen Link

Die Fragen der Metaethik: eine Untersuchung zum Aufbau der Ethik. Uni Karlsruhe, (2008)

Hans-Jürgen Kolde

 

Other publications of authors with the same name

Solving Disequations in Equational Theories.. CADE, volume 310 of Lecture Notes in Computer Science, page 517-526. Springer, (1988)Terminological Knowledge Representation: A Proposal for a Terminological Logic., , , , , , , and . Description Logics, volume DFKI-D-91-13 of DFKI Documents, page 120-128. (1991)A Resolution Principle for a Logic with Restricted Quantifiers. Lecture Notes in Computer Science Springer, (1991)A Resolution Principle for Constrained Logics.. Artif. Intell., 66 (2): 235-271 (1994)Managing Qualitative Temporal Information: Expressiveness vs. Complexity., and . IS/KI, volume 777 of Lecture Notes in Computer Science, page 104-117. Springer, (1994)Transportation Scheduling with Holonic MAS: The TELETRUCK Approach., , and . PAAM, page 577-590. Practical Application Company Ltd., (1998)Lazy Theory Unification inProlog: An Extension of the warren Abstract machine.. GWAI, volume 124 of Informatik-Fachberichte, page 277-288. Springer, (1986)Terminologies and Rules.. IS/KI, volume 777 of Lecture Notes in Computer Science, page 44-63. Springer, (1994)Some Relationships between Unification, restricted Unification, and Matching.. CADE, volume 230 of Lecture Notes in Computer Science, page 514-524. Springer, (1986)Protokoll der FB1-Leitungssitzung.. Künstliche Intell., 16 (1): 81 (2002)