dblp.uni-trier.dewww.uni-trier.de

Ulisses Ferreira

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2005
8EEUlisses 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
2EEUlisses 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)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)