An implicit characterization of the polynomial-time decidable sets by cons-free rewriting
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Original language | English |
---|---|
Title of host publication | 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 |
Editors | Gilles Dowek |
Number of pages | 15 |
Publisher | Springer Science+Business Media |
Publication date | 2014 |
Pages | 179-193 |
ISBN (Print) | 978-3-319-08917-1 |
ISBN (Electronic) | 978-3-319-08918-8 |
DOIs | |
Publication status | Published - 2014 |
Event | Joint International Conference, RTA-TLCA 2014 - Vienna, Austria Duration: 14 Jul 2014 → 17 Jul 2014 |
Conference
Conference | Joint International Conference, RTA-TLCA 2014 |
---|---|
Land | Austria |
By | Vienna |
Periode | 14/07/2014 → 17/07/2014 |
Series | Lecture notes in computer science |
---|---|
Volume | 8560 |
ISSN | 0302-9743 |
ID: 132043229