Archive for William W. Wadge 2008

Wadge index
Cartesian index
William W. Wadge.
Early investigations of the Borel degrees.
2008. To appear in the Proceedings of the Cabal Seminar, LNML 37, Springer
Chrysida Galanaki, Panos Rondogiannis, William W. Wadge.
An infinite-game semantics for well-founded negation in logic programming.
Annals of Pure and Applied Logic 151(2--3):70--88, 2008.
John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge.
Sequential Demand-Driven Evaluation of Eager TransLucid.
In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference. pp.1266--1271. 2008.
Gösta Grahne, Alex Thomo, William W. Wadge.
Preferential Regular Path Queries.
Fundamenta Informaticae 89(2--3):259--288, 2008.