e CIG: Journal Articles


Journal Articles

Author:Brass, Stefan and Dix, Jürgen
Title:Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA
Journal:Journal of Automated Reasoning
Volume:20
Year:1998
Pages:143-165
Number:1
Note:(Extended abstract appeared in: newblock Characterizing D-WFS: Confluence and Iterated GCWA. newblock em Logics in Artificial Intelligence, JELIA '96/, pages 268-283, 1996. Springer, LNCS 1126.)
BibTeX-Code:
@article{bradix97ar,
author={Brass, Stefan and Dix, Jürgen},
title={Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA},
journal={Journal of Automated Reasoning},
volume={20},
year={1998},
pages={143-165},
number={1},
note={(Extended abstract appeared in: newblock Characterizing D-WFS: Confluence and Iterated GCWA. newblock em Logics in Artificial Intelligence, JELIA '96/, pages 268-283, 1996. Springer, LNCS 1126.)},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019