Characterizing D-WFS: Confluence and Iterated GCWA

Stefan Brass, Jürgen Dix. Characterizing D-WFS: Confluence and Iterated GCWA. In José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, editors, Logics in Artificial Intelligence, European Workshop, JELIA 96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Volume 1126 of Lecture Notes in Computer Science, pages 268-283, Springer, 1996.

Abstract

Abstract is missing.