Skip to content
Home/ Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the Eacsl Paderbor
Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the Eacsl Paderbor

Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the Eacsl Paderbor

No customer reviews yet ISBN 9783540613770

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.

About the author

Product details

Pub dateJun 5, 1996
ISBN-103540613773
ISBN-139783540613770
LanguageEnglish
Last updated 2026-08-03 22:15
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Computers | Machine Theory
See all