A. Matos homepage

Magister dixit: "nullius in verba"

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


            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...
Some links:    “Porto: folios” /   -> /   *  /   O  /   T  /   B  /   R  /   S  /   C /     L  /   N  /   1  /   2  /   Opti   /   ?   /    .    $\sum_{i=0}^{75}{\rm quote}^{i\pi}(i)=\frac{i\tau}{\omega} \Xi^\text{dubious} \rho$
"Random" quote:

  Thomas Jefferson:
      Nothing gives one person so much advantage over another 
      as to remain cool and unruffled under all circumstances.

List of papers, research notes, and research description: year ≥ 1993 (earlier dates: please search here):

Links are underlined / To see an abstract or summary: gently hover over the title! Test here / Published (journal or conference) or submitted: / Author, co-authors: links like these: (2), (1).



Top of page! Notes.

               (1) Armando Matos

               (2) Luís Antunes

               (3) Henry Buhrman

               (4) Armindo Costa

               (5) Nelma Moreira

              (12) Luca Paolini

               (6) Alexandre Pinto  

               (7) António Porto  

              (11) Luca Roversi

               (8) André Souto

               (9) Andreia Teixeira  

              (10) Paul Vitányi

               [P] In Portuguese.

               (ℵ) May contain transcriptions of other works. Read at your own risk.

  "The power of instruction is seldom of much efficacy except in those happy dispositions where it is almost superfluous", Gibbon

  "Le temps est un grand maître, dit-on; le malheur est qu'il soit un maître inhumain qui tue ses élèves", Berlioz

   Sunday 16 December 2018
 (27893 accesses)

  Identity problem: the security code is still encrypted; you seem to be either a visitor without a number or a number without a visitor; please try again.