by Workshop on Computer Science Logic (7th 1993 Swansea, Wales), Egon Borger, Yuri Gurevich
"This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in Septemb…