Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings
Wattenhofer, Roger ; Mehlhorn, Kurt ; Czumaj, Artur ; Pitts, Andrew
Netherlands: Springer Nature 2012
Texto completo disponível