Johann A. Makowsky

1 published title

Computer science logic : 17th International Workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30 2003 : proceedings

(Contributor)

1 edition