in Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 3634, Páginas: 184-199
Conference
19Th International Workshop on Computer Science Logic, Csl 2005 and 14Th Annual Conference of the Eacsl, Date: 22 August 2005 through 25 August 2005, Location: Oxford