An Algebraic Account of Modularity in ID-Logic

Joost Vennekens, Marc Denecker. An Algebraic Account of Modularity in ID-Logic. In Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina, editors, Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings. Volume 3662 of Lecture Notes in Computer Science, pages 291-303, Springer, 2005. [doi]

Authors

Joost Vennekens

This author has not been identified. Look up 'Joost Vennekens' in Google

Marc Denecker

This author has not been identified. Look up 'Marc Denecker' in Google