|
Search the dblp DataBase
Ulisses Ferreira:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ulisses Ferreira
A Novel Rôle for AI? [Citation Graph (0, 0)][DBLP] IC-AI, 2003, pp:941-942 [Conf]
- Ulisses Ferreira
On the Foundations of Computing Science. [Citation Graph (0, 0)][DBLP] Metainformatics, 2003, pp:46-65 [Conf]
- Ulisses Ferreira
A Property for Church-Turing Thesis. [Citation Graph (0, 0)][DBLP] MSV/AMCS, 2004, pp:507-513 [Conf]
- Ulisses Ferreira
On the Busy-Beaver Problem. [Citation Graph (0, 0)][DBLP] MSV/AMCS, 2004, pp:514-518 [Conf]
- Ulisses Ferreira
On Turing's Proof of the Undecidability of the Halting Problem. [Citation Graph (0, 0)][DBLP] MSV/AMCS, 2004, pp:519-522 [Conf]
- Ulisses Ferreira
The Real Set Can Be Seen As Denumerable. [Citation Graph (0, 0)][DBLP] MSV/AMCS, 2004, pp:523-0 [Conf]
- Ulisses Ferreira
uu for Programming Languages. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 2000, v:35, n:8, pp:20-30 [Journal]
The Decidability of the Halting Problem. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|