Export 1 results:
Filters: Author is M. Hanus  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D. Seipel, M. Hanus, U. Geske, O. Bartenstein. Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion. In 15th International Conference on Applications of Declarative Programming and Knowledge Management and the 18th Workshop on Logic Programming. Potsdam, Germany; 2004.