Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Lower Bounds on the Size of Quantum Automata Accepting Unary LanguagesBertoni, Alberto ; Mereghetti, Carlo ; Palano, BeatriceLecture notes in computer science, 2003, p.86-96 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Artigo
|
On the Computational Complexity of Cut-Elimination in Linear LogicMairson, Harry G. ; Terui, KazushigeLecture notes in computer science, 2003, p.23-36 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |