Personal information
Activities
Employment (1)
2002-08-01
to
2019-01-09
|
Associate Professor
(Computer Science)
Employment
Source:
Alfio Martini
Education and qualifications (1)
1995-02-01
to
1999-02-17
|
PhD in Computer Science
(Computer Science)
Education
Source:
Alfio Martini
Works (19)
Theoretical Computer Science (WEIT), 2013 2nd Workshop-School on
2013
|
Conference paper
Source:
Alfio Martini
Journal of Logic and Computation
2012
|
Journal article
Source:
Alfio Martini
PUCRS-Brasil. Dispońıvel em:< http://www. inf. pucrs. br/̃ petinf/homePage/publicacoes/documentos/relatorios% 20tecnico/ce zar. reinbrecht_2007. pdf>. Acesso em
2007
|
Journal article
Source:
Alfio Martini
Logic Journal of IGPL
2007
|
Journal article
Source:
Alfio Martini
International Conference on Algebraic Methodology and Software Technology
1999
|
Conference paper
Source:
Alfio Martini
PhD thesis
1999
|
Other
Source:
Alfio Martini
International Workshop on Algebraic Development Techniques
1997
|
Conference paper
Source:
Alfio Martini
1997
|
Journal article
Source:
Alfio Martini
1997
|
Journal article
Source:
Alfio Martini
International Conference on Category Theory and Computer Science
1997
|
Conference paper
Source:
Alfio Martini
1996
|
Journal article
Source:
Alfio Martini
1996
|
Book
Source:
Alfio Martini
1996
|
Journal article
Source:
Alfio Martini
1996
|
Book
Source:
Alfio Martini
1996
|
Journal article
Source:
Alfio Martini
1996
|
Journal article
Source:
Alfio Martini
1996
|
Book
Source:
Alfio Martini
Journal article
Source:
Alfio Martini
Logic, Artificial Intelligence and Robotics (proc. LAPTEC 2001), series: Frontiers in Artificial Intelligence and Applications
Journal article
Source:
Alfio Martini