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 languageEnglish
Title of host publicationRewriting 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
EditorsGilles Dowek
Number of pages15
PublisherSpringer Science+Business Media
Publication date2014
Pages179-193
ISBN (Print)978-3-319-08917-1
ISBN (Electronic)978-3-319-08918-8
DOIs
Publication statusPublished - 2014
EventJoint International Conference, RTA-TLCA 2014 - Vienna, Austria
Duration: 14 Jul 2014 → 17 Jul 2014

Conference

ConferenceJoint International Conference, RTA-TLCA 2014
LandAustria
ByVienna
Periode14/07/2014 → 17/07/2014
SeriesLecture notes in computer science
Volume8560
ISSN0302-9743

ID: 132043229