An implicit characterization of the polynomial-time decidable sets by cons-free rewriting
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Titel | Rewriting and typed lambda calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings |
Redaktører | Gilles Dowek |
Antal sider | 15 |
Forlag | Springer Science+Business Media |
Publikationsdato | 2014 |
Sider | 179-193 |
ISBN (Trykt) | 978-3-319-08917-1 |
ISBN (Elektronisk) | 978-3-319-08918-8 |
DOI | |
Status | Udgivet - 2014 |
Begivenhed | Joint International Conference, RTA-TLCA 2014 - Vienna, Østrig Varighed: 14 jul. 2014 → 17 jul. 2014 |
Konference
Konference | Joint International Conference, RTA-TLCA 2014 |
---|---|
Land | Østrig |
By | Vienna |
Periode | 14/07/2014 → 17/07/2014 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 8560 |
ISSN | 0302-9743 |
ID: 132043229