[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 3142 (31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings) || Feasible Proofs and Computations: Partnership and Fusion
DÃaz, Josep, Karhumäki, Juhani, Lepistö, Arto, Sannella, DonaldVolume:
10.1007/b9
Year:
2004
Language:
english
DOI:
10.1007/978-3-540-27836-8_4
File:
PDF, 127 KB
english, 2004