A Resolution Theorem for Algebraic Domains

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

A Resolution Theorem for Algebraic Domains

Pascal HitzlerPascal Hitzler
A Resolution Theorem for Algebraic Domains


Pascal Hitzler
A Resolution Theorem for Algebraic Domains
In Georg Gottlob and Toby Walsh, eds., Proceedings of the 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 2003, 1339-1340, 2003. Morgan Kaufmann Publishers
@inproceedings{H2003,
  author    = {Pascal Hitzler},
  title     = {A Resolution Theorem for Algebraic Domains},
  editor    = {Georg Gottlob and Toby Walsh},
  booktitle = {Proceedings of the 18th International Joint Conference on
               Artificial Intelligence, Acapulco, Mexico, August 2003},
  publisher = {Morgan Kaufmann Publishers},
  year      = {2003},
  pages     = {1339-1340}
}