Lecture Notes in Computer Science
Volume 1862, 2000, DOI: 10.1007/3-540-44622-2

Computer Science Logic
14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Peter G. Clote and Helmut Schwichtenberg

Contents

Viewing all 36 chapters
Search within

Browse This Book

  • Look Inside
  • Contents
  • ESM

About This Book

Title
Computer Science Logic
14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2000
DOI
10.1007/3-540-44622-2
ISBN
978-3-540-67895-3
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Sunday, June 29, 2003

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002