Author of the publication

Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems.

, , and . Workshop on Design and Impl. of Parallel Logic Programming Systems, page 42-53. (1994)

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 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.
 

Other publications of authors with the same name

Non-strict independence-based program parallelization using sharing and freeness information., and . Theor. Comput. Sci., 410 (46): 4704-4723 (2009)The Ciao Module System: A New Module System for Prolog., and . Electr. Notes Theor. Comput. Sci., 30 (3): 122-142 (1999)Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library., and . TPLP, 1 (3): 251-282 (2001)Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems., , and . Workshop on Design and Impl. of Parallel Logic Programming Systems, page 42-53. (1994)Global Analysis of Standard Prolog Programs., , , and . ESOP, volume 1058 of Lecture Notes in Computer Science, page 108-124. Springer, (1996)Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems., , and . ICLP, page 631-645. MIT Press, (1995)A Generic Persistence Model for (C)LP Systems., , , , and . ICLP, volume 2916 of Lecture Notes in Computer Science, page 481-482. Springer, (2003)Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information., and . SAS, volume 864 of Lecture Notes in Computer Science, page 297-313. Springer, (1994)The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library., and . Electr. Notes Theor. Comput. Sci., 30 (3): 144-162 (1999)A New Module System for Prolog., and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 131-148. Springer, (2000)