ENGLISH

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

By Dexter Kozen , Egon Börger , Karl Meinke (eds.) , Alexander Aiken , Moshe Vardi , Ed Wimmers (auth.) , Yuri Gurevich

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1994
ISBN
3540582770, 9783540582779
DOI
10.1007/BFb0049319
LCC
QA76.5 .W64 1993
Open Library ID
OL1103240M
Language
english
Format
DJVU
Filesize
3 MB (3012444 bytes)
Series
Lecture Notes in Computer Science 832
Edition
1
Pages
336\342
Topic
Computers
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
Mathematical Logic and Formal Languages; Logics an

Description

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 September 1993. The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

Similar books