An edition of Computer science logic (2005)

Computer science logic

19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings

By Workshop on Computer Science Logic (19th 2005 Oxford, England)