Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Rewriting and Typed Lambda Calculi: 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

Rewriting and Typed Lambda Calculi: 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


Book Informaton

Rewriting and Typed Lambda Calculi: 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

Author

Gilles Dowek

Series

Lecture Notes in Computer Science

Volume

8560

Year of Publication

2014

Publisher

Springer International Publishing

Pages

XXII, 491

Language

en

ISBN

9783319089171, 9783319089188

ARI Id

1664913068376


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 35 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-20
21-30
31-45
46-60
61-76
77-92
93-107
108-123
124-138
139-148
149-163
164-178
179-193
194-207
208-223
224-239
240-256
257-271
272-286
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 35 entries