Complexity hierarchies and higher-order cons-free rewriting
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Dokumenter
- Kop_2016_Complexity_hierarchies
Forlagets udgivne version, 616 KB, PDF-dokument
| Originalsprog | Engelsk |
|---|---|
| Titel | 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) |
| Redaktører | Delia Kesner, Brigitte Pientka |
| Antal sider | 18 |
| Forlag | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Publikationsdato | 2016 |
| Artikelnummer | 23 |
| ISBN (Trykt) | 978-3-95977-010-1 |
| DOI | |
| Status | Udgivet - 2016 |
| Begivenhed | International Conference on Formal Structures for Computation and Deduction 2016 - Porto, Portugal Varighed: 22 jun. 2016 → 26 jun. 2016 Konferencens nummer: 1 |
Konference
| Konference | International Conference on Formal Structures for Computation and Deduction 2016 |
|---|---|
| Nummer | 1 |
| Land | Portugal |
| By | Porto |
| Periode | 22/06/2016 → 26/06/2016 |
| Navn | Leibniz International Proceedings in Informatics |
|---|---|
| Vol/bind | 52 |
| ISSN | 1868-8969 |
Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk
Ingen data tilgængelig
ID: 168455874