Author of the publication

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.

 

Other publications of authors with the same name

Equivalence of Propositional Prolog Programs., , and . J. Autom. Reasoning, 6 (3): 319-335 (1990)Optimization Aspects of Logical Formulas.. CSL, volume 329 of Lecture Notes in Computer Science, page 173-187. Springer, (1987)Mining technical dependencies throughout engineering process knowledge., , and . ETFA, page 1-7. IEEE, (2011)Towards model induced support for engineering industrial systems., , , and . SMC, page 2698-2703. IEEE, (2007)Inconsistency of Production Systems., , and . Data Knowl. Eng., 3 (4): 245-260 (1989)Vergleich von Prolog und Nexpert Object am Beispiel einer Störungsanalyse., and . KI, 4 (3): 42-48 (1990)Geschäftsprozesse und technische Prozesse., , , , and . Automatisierungstechnik, 62 (9): 665-675 (2014)Overview of the SPES Evaluation Strategy., and . Model-Based Engineering of Embedded Systems, Springer, (2012)Ecosystems in the manufacturing industry., , and . ETFA, page 1-4. IEEE, (2016)Loop Detection in Propositional Prolog Programs., , and . CSL, volume 385 of Lecture Notes in Computer Science, page 148-165. Springer, (1988)