Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8560)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
- RTA: International Conference on Rewriting Techniques and Applications
- TLCA: International Conference on Typed Lambda Calculi and Applications
Conference proceedings info: RTA 2014, TLCA 2014.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (33 papers)
Other volumes
-
Rewriting and Typed Lambda Calculi
Editors and Affiliations
Bibliographic Information
Book Title: Rewriting and Typed Lambda Calculi
Book Subtitle: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Editors: Gilles Dowek
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-08918-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-08917-1Published: 15 July 2014
eBook ISBN: 978-3-319-08918-8Published: 01 July 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXII, 491
Number of Illustrations: 58 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Mathematics of Computing, Logics and Meanings of Programs, Symbolic and Algebraic Manipulation, Artificial Intelligence, Mathematical Logic and Foundations