Universidade do Minho  

           
 
  Autenticação/Login
 
Contacts
Site Map
   
  print
 


Algebra, Logic and Computation

The research group of Algebra, Logic and Computation is composed of 19 Ph.D. members. In collaboration with colleagues in other national and international research units, the members of this group carry out research in the domains of Algebra and Logic, specifically in the areas of matrix theory, numerical linear algebra, semigroup theory, structural proof theory, type theory, and automata and formal languages theory, with a particular attention to applications in Computer Science, in the areas of theory of programming languages, functional programming, automata and formal languages, and algebraic coding theory.

 
  © 2018 Universidade do Minho  - Legal Terms  - updated by CMAT Símbolo de Acessibilidade na Web D.