Telecharger Cours

9561877.pdf - CORE

This paper considers open logic programs originally introduced as a tool to build an OR-composi- tional semantics of logic programs.



Download