Cover Image
Read Now

1
Published 1997
Springer Berlin Heidelberg
“... Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association...”