2005 |
8 | EE | Ulisses Ferreira:
The sets of real and complex numbers are denumerable.
SIGACT News 36(2): 126-130 (2005) |
2004 |
7 | | Ulisses Ferreira:
A Property for Church-Turing Thesis.
MSV/AMCS 2004: 507-513 |
6 | | Ulisses Ferreira:
On the Busy-Beaver Problem.
MSV/AMCS 2004: 514-518 |
5 | | Ulisses Ferreira:
On Turing's Proof of the Undecidability of the Halting Problem.
MSV/AMCS 2004: 519-522 |
4 | | Ulisses Ferreira:
The Real Set Can Be Seen As Denumerable.
MSV/AMCS 2004: 523- |
2003 |
3 | | Ulisses Ferreira:
A Novel Rôle for AI?
IC-AI 2003: 941-942 |
2 | EE | Ulisses Ferreira:
On the Foundations of Computing Science.
Metainformatics 2003: 46-65 |
2000 |
1 | | Ulisses Ferreira:
uu for Programming Languages.
SIGPLAN Notices 35(8): 20-30 (2000) |