ENGLISH

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

By Matthias Baaz , Alexander Leitsch , Richard Zach (auth.) , Hans Kleine Büning (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1996
ISBN
978-3-540-61377-0, 978-3-540-68507-4
DOI
10.1007/3-540-61377-3
Language
english
Format
PDF
Filesize
12 MB (12452126 bytes)
Series
Lecture Notes in Computer Science 1092
Edition
1
Pages
492\494
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Mathematical Logic and Formal Languages; Artificia

Description

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995. The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

Similar books