Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Opening the AC-Unification Race.

H. Bürckert, A. Herold, D. Kapur, J. Siekmann, M. Stickel, M. Tepp, and H. Zhang. J. Autom. Reasoning, 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.

Dr. -Ing. Daniel Markthaler University of Stuttgart

Replication Data for: Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesisN. Hansen, and D. Markthaler. 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.

Mark Burkhardt University of Stuttgart

E. Garrelts

Dr. Mark Hamilton University of Stuttgart

E. Zafeiriou

Other publications of authors with the same name

A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification.M. Stickel. J. Autom. Reasoning, 3 (3): 285-289 (1987)Detection and elimination of inference channels in multilevel relational database systems.X. Qian, M. Stickel, P. Karp, T. Lunt, and T. Garvey. IEEE Symposium on Security and Privacy, page 196-205. IEEE Computer Society, (1993)Balance and Filtering in Structured Satisfiable Problems (Preliminary Report).H. Kautz, Y. Ruan, D. Achlioptas, C. Gomes, B. Selman, and M. Stickel. Electron. Notes Discret. Math., (2001)A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.M. Stickel. J. Autom. Reasoning, 4 (4): 353-380 (1988)An Introduction to Automated Deduction.M. Stickel. Advanced Course: Fundamentals of Artificial Intelligence, volume 232 of Lecture Notes in Computer Science, page 75-132. Springer, (1985)Deductive Composition of Astronomical Software from Subroutine Libraries.M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, and I. Underwood. CADE, volume 814 of Lecture Notes in Computer Science, page 341-355. Springer, (1994)A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.M. Stickel. Theor. Comput. Sci., 104 (1): 109-128 (1992)Theory Resolution: Building in Nonequational Theories.M. Stickel. AAAI, page 391-397. AAAI Press, (1983)Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel Databases.T. Garvey, T. Lunt, X. Qian, and M. Stickel. DBSec, volume A-21 of IFIP Transactions, page 149-168. North-Holland, (1992)Complete Sets of Reductions for Some Equational Theories.G. Peterson, and M. Stickel. J. ACM, 28 (2): 233-264 (1981)