Projects per year
Abstract
DOI added.
Bibliographic info:
Automata, Languages, and Programming
Lecture Notes in Computer Science Volume 8572, 2014, pp 223-234
/PFOR 06-01-2015
Bibliographic info:
Automata, Languages, and Programming
Lecture Notes in Computer Science Volume 8572, 2014, pp 223-234
/PFOR 06-01-2015
Original language | English |
---|---|
Title of host publication | Automata, Languages, and Programming, 41st International Colloquium, ICALP 2014 |
Publisher | Springer |
Publication date | 2014 |
Pages | 223-234 |
ISBN (Print) | 978-3-662-43947-0 |
ISBN (Electronic) | 978-3-662-43948-7 |
DOIs | |
Publication status | Published - 2014 |
Event | International Colloquium on Automata, Languages and Programming - IT University of Copenhagen, Copenhagen, Denmark Duration: 7 Jul 2014 → 11 Jul 2014 Conference number: 41 http://icalp2014.itu.dk/ |
Conference
Conference | International Colloquium on Automata, Languages and Programming |
---|---|
Number | 41 |
Location | IT University of Copenhagen |
Country/Territory | Denmark |
City | Copenhagen |
Period | 07/07/2014 → 11/07/2014 |
Internet address |
Keywords
- Formal Verification
- Computational Complexity
- Automata Theory
- Decision Problems
- Language Recognition
Fingerprint
Dive into the research topics of 'Listing Triangles'. Together they form a unique fingerprint.Projects
- 1 Finished
-
MaDaMS: Massive Data Mining by Sampling
Pagh, R. (PI), Stöckel, M. (CoI) & Pham, N. D. (CoI)
Independent Research Fund Denmark
01/01/2011 → 31/12/2014
Project: Research