Inproceedings,

Level Mapping Characterizations of Selector Generated Models for Logic Programs.

, and .
W(C)LP, volume 2005-01 of Ulmer Informatik-Berichte, page 65-75. Universität Ulm, Germany, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews