Workshop on Computer Science Logic (6th 1992 San Miniato, Italy) profile picture

Workshop on Computer Science Logic (6th 1992 San Miniato, Italy)

Stand Alone

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science)
Computer science logic: 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers