A swiss pocket knife for computability

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Documents

Original languageEnglish
Title of host publicationSemantics, Abstract Interpretation, and Reasoning about Programs : essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013
EditorsAnindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff
Number of pages17
Publication date2013
Pages1-17
DOIs
Publication statusPublished - 2013
SeriesElectronic Proceedings in Theoretical Computer Science
Volume129
ISSN2075-2180

Number of downloads are based on statistics from Google Scholar and www.ku.dk


No data available

ID: 169141001