Author of the publication

Zur Semantik von Vererbung in logischen Objektspezifikationen.

, and . Grundlagen von Datenbanken, page 11-15. ETH Zürich, (1991)

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

A Characterization of the Stable Semantics by Partial Evaluation., and . WLP, page 81-84. Institut für Informatik der Universität Zürich, (1994)a revised version of this paper was published in LPNMR 1995: 85-98.Declarative Programming for Microcontrollers - Datalog on Arduino., and . DECLARE, volume 12057 of Lecture Notes in Computer Science, page 119-138. Springer, (2019)Spezifikation von Annahmen der geschlossenen Welt (CWAs).. Grundlagen von Datenbanken, (1989)Allgemeine Vervollständigung beim Entwurf von Logik-Datenbanken.. Grundlagen von Datenbanken, volume Ni. 90-02 of Informatik-Berichte TU Braunschweig, page 12-13. TU Braunschweig, (1990)Computing Disjunctive Stable Semantics Based on Clark's Completed Database., and . Grundlagen von Datenbanken, volume Bericht 94-01 of Universität Magdeburg, Forschungsbericht, page 30-34. Universität Magdeburg, (1994)Integrity Constraints for Microcontroller Programming in Datalog., and . ADBIS, volume 12843 of Lecture Notes in Computer Science, page 152-166. Springer, (2021)Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines., and . LOPSTR, volume 12561 of Lecture Notes in Computer Science, page 210-227. Springer, (2020)Querying Semistructured Data and the WWW.. Grundlagen von Datenbanken, page 1-5. Universität Dortmund, (1997)SDLMagic - An Improved Magic Set Technique.. Grundlagen von Datenbanken, page 1-5. Universität Magedeburg, (1996)Semantice of Inheritance in Logical Object Specifications., and . DOOD, volume 566 of Lecture Notes in Computer Science, page 411-430. Springer, (1991)