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:

  W. Churchill:
      The best lesson life has taught me is that 
      the idiots in many cases are right.

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
 (27894 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.