Author of the publication

An Order Theory Resolution Calculus.

. LPAR, volume 624 of Lecture Notes in Computer Science, page 119-130. Springer, (1992)

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

Partizipatives Contentmanagement.Entwicklung von Webcommunities für Hochschule und Wirtschaft, and . (2002)The Zen Art of Teaching. (2004)Lernen mit Software, and . Osterr Studien- Verlag, Innsbruck, (1994)Blocking and Other Enhancements for Bottom-Up Model Generation Methods., and . CoRR, (2016)E-Learning Standards. zeitschrift für e-learning – lernkultur und bildungstechnologie, E-Learning Standards (2): 4-6 (2007)10 Jahre mediendidaktischer Hochschulpreis: Eine kritische Bilanz, and . E-Learning: Eine Zwischenbilanz. Kritischer Rückblick als Basis eines Aufbruchs, Waxmann, (2009)Didaktische Anforderungen an (multimediale) Lernsoftware. Information und Lernen mit Multimedia, page 241--252. Weinheim, Psychologie Verlag-Union, (1997)The Model Evolution Calculus., and . CADE, volume 2741 of Lecture Notes in Computer Science, page 350-364. Springer, (2003)Mechanical Band Gap Formation in Anisotropic CMOS Back-End-of-Line Stacks for Monolithic High-Q MEMS Resonator Confinement., and . ESSDERC, page 211-214. IEEE, (2021)Didaktischer Mehrwert von E-Learning: Analyse und Gestaltung didaktischer Vielfalt.. DeLFI, volume P-207 of LNI, page 13. GI, (2012)