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
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
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
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
Added Meeting Name
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
Record Appears in