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 | EATCS 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 | EATCS 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
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver