A. Matos homepage

Recovered from an older version

Armando B. Matos
$ Display all 3194 possibilities? (y or n)

Researcher and retired teacher, email: reverse "moc.oohay@mcbodnamra"
LIACC, Artificial Intelligence Computer Science Laboratory    /    Computer Science Department    /    Faculty of Sciences    /    FCUP info    /    Universidade do Porto    /    Porto
What can be asserted without evidence can also be dismissed without evidence.


            Papers (below)            

            Reversible languages: work in progress (pdf)                   Course: “Topics on Advanced Algorithms”
            Reversible languages: TCS paper (pdf)                   Course: “Introductory Programming”
            ...A text on advanced algorithms (pdf).                   Course: “Complexity”
            Mathoverflow                   Course: “Imperative Programming”
            Research on primitive recursive functions                   C.A.R. Hoare on categories (only for my study)
Pr. recursive functions: implementation efficiency                   Logicians discussing weak arithmetics
AI & CS Lab, LIACC, Univ. Porto                   Consequences of Godel's Incompleteness Theorem
Programming is useful...                   Panflation!        
List of quotes...             Frege
"Random" quote:

  Dijkstra (EWD1305, http://www.cs.utexas.edu/users/EWD/welcome.html):
     It is not the task of the University to offer what society asks for,
     but to give what society needs.
     The things society asks for are generally understood, and you don't
     need a University for that; the University must offer what no one else
     can provide.

List of papers and research notes

Links are not underlined / To see an abstract or summary: gently hover over the title! Test here