Rewriting and typed Lambda Calculi [electronic resource] : joint international conference, RTA-TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Gilles Dowek (eds.)
2014
QA267
Linked e-resources
Linked Resource
Online Access
Details
Title
Rewriting and typed Lambda Calculi [electronic resource] : joint international conference, RTA-TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Gilles Dowek (eds.)
Meeting Name
International Conference on Rewriting Techniques and Applications (25th : 2014 : Vienna, Austria)
ISBN
9783319089188 electronic book
3319089188 electronic book
9783319089171
3319089188 electronic book
9783319089171
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (xxii, 491 pages) : illustrations.
Item Number
10.1007/978-3-319-08918-8 doi
Call Number
QA267
Dewey Decimal Classification
005.131
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Added Author
Dowek, Gilles, editor.
Added Meeting Name
International Conference on Typed Lambda Calculi and Applications (12th : 2014 : Vienna, Austria)
Series
Lecture notes in computer science ; 8560. 0302-9743
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources