A. Matos homepage


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:

  Wolfgang Pauli:
     Asked about a paper from a young physicist, he said:
     "It is not even wrong."

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.

   Authors:
               (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


   Friday 15 December 2017
 (26272 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.