e CIG: Journal Articles


Journal Articles

Author:Brass, Stefan and Dix, Jürgen
Title:Characterizations of the Disjunctive Stable Semantics by Partial Evaluation
Journal:Journal of Logic Programming
Volume:32
Year:1997
Pages:207-228
Number:3
Publisher:Elsevier
Note:(Extended abstract appeared in: newblock Characterizations of the Stable Semantics by Partial Evaluation newblock em LPNMR, Proceedings of the Third International Conference, Kentucky/, pages 85-98, 1995. LNCS 928, Springer.)
BibTeX-Code:
@article{bradix96jlp1,
author={Brass, Stefan and Dix, Jürgen},
title={Characterizations of the Disjunctive Stable Semantics by Partial Evaluation},
journal={Journal of Logic Programming},
volume={32},
year={1997},
pages={207-228},
publisher={Elsevier},
number={3},
note={(Extended abstract appeared in: newblock Characterizations of the Stable Semantics by Partial Evaluation newblock em LPNMR, Proceedings of the Third International Conference, Kentucky/, pages 85-98, 1995. LNCS 928, Springer.)},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019