PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

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

Author of the publication

copydeleteadd this publication to your clipboard
On Equational Theories, Unification, and (Un)Decidability.

, , and . J. Symb. Comput., 8 (1/2): 3-49 (1989)

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.

apl. Prof. Dr. Hans-Jürgen Albers University of Stuttgart

Dr. Hans-Jürgen Ertelt University of Stuttgart

apl. Prof. Dr. Jürgen Pleiss University of Stuttgart

Univ. -Prof. Dr. Jürgen Pafel University of Stuttgart

apl. Prof. Dr. -Ing. Niels Hansen University of Stuttgart

Replication Data for: Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesis, and . Dataset, (2024)Related to: Schneider, Andreas; Lystbæk, Thomas B.; Markthaler, Daniel; Hansen, Niels; Hauer, Bernhard (2024): Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesis. In: Nature Communications, 15, 4925. doi: 10.1038/s41467-024-48993-9.
Replication Data for: Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesis, and . Dataset, (2024)Related to: Schneider, Andreas; Lystbæk, Thomas B.; Markthaler, Daniel; Hansen, Niels; Hauer, Bernhard (2024): Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesis. In: Nature Communications, 15, 4925. doi: 10.1038/s41467-024-48993-9.Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesis, , , , and . Nature Communications, 15 (1): 4925 (Jun 10, 2024)
 

Other publications of authors with the same name

On Solving Equations and Disequations., and . J. ACM, 41 (4): 591-629 (1994)On the expressivity of feature logics with negation, functional uncertainty, and sort equations., , , , and . Journal of Logic, Language and Information, 2 (1): 1-18 (1993)A Resolution Principle for a Logic with Restricted Quantifiers. Lecture Notes in Computer Science Springer, (1991)Terminological Knowledge Representation: A Proposal for a Terminological Logic., , , , , , , and . Description Logics, volume DFKI-D-91-13 of DFKI Documents, page 120-128. (1991)Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra., and . J. ACM, 42 (1): 43-66 (1995)Solving Disequations in Equational Theories.. CADE, volume 310 of Lecture Notes in Computer Science, page 517-526. Springer, (1988)Ist die Wissensrepräsentation tot?, , , , , , , and . KI, 9 (5): 18-26 (1995)Jahresbericht 2001 des Fachbereich 1 Künstliche Intelligenz.. KI, 16 (2): 62-63 (2002)Terminologische Logiken., , , , and . KI, 6 (3): 23-33 (1992)On Equational Theories, Unification and Decidability., , and . RTA, volume 256 of Lecture Notes in Computer Science, page 204-215. Springer, (1987)