Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
The Complexity of Quickly ORM-Decidable Sets
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
The church-turing thesis over arbitrary domains
Pillars of computer science
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Rewriting Computation and Proof
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
On the Termination of Integer Loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |