On an Abstract Theory of Computational Models and the Converse of Rice’s Theorem
A Generalization of the Time and Space Hierarchy Theorems
An Algebraic Approach to the Graph Reconstruction Conjecture
IC Technical Reports 2009
IC Technical Reports 2008
Arnaldo Vieira Moura
Walter Carnielli
Orlando Lee