Computer science logic: 7th workshop, csl '93, swansea, united kingdom, september 13 - 17, 1993. selected papers: 7th workshop: csl '93, swansea, united kingdom, september 13-17, 1993 - selected papers
Auteur :
Borger, Egon
ISBN :
9783540582779
Date de publication :
20 juil. 1994
Dimensions :
27,9 x 21,6 x 1,8 cm
Poids :
505 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains a selection of papers presented at the Conference of the European Association for Computer Science Logic, held at Swansea in September 1993. Topics discussed include set constraints, lambda calculi, process algebras, program semantics, fixed-point logics, Horn clauses and more.