Theoretical Computer Science and General Issues
Lect.Notes ComputerFestschrift
© 2019
Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Editors: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., Wolter, F. (Eds.)
- Written by experts
- High-quality selected papers
- State-of-the-art research
Buy this book
- About this book
-
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Description Logic, Theory Combination, and All That
- Book Subtitle
- Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
- Editors
-
- Carsten Lutz
- Uli Sattler
- Cesare Tinelli
- Anni-Yasmin Turhan
- Frank Wolter
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 11560
- Copyright
- 2019
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-22102-7
- DOI
- 10.1007/978-3-030-22102-7
- Softcover ISBN
- 978-3-030-22101-0
- Edition Number
- 1
- Number of Pages
- XIII, 662
- Number of Illustrations
- 1216 b/w illustrations, 14 illustrations in colour
- Topics
