António Porto
发表
Gabriel David,
António Porto,
1991,
EPIA.
Luís Moniz Pereira,
Pedro Barahona,
António Porto,
1991
.
Gabriel David,
António Porto,
António Porto,
1993,
EPIA.
Luís Moniz Pereira,
António Porto,
1980
.
Luís Monteiro,
António Porto,
L. Monteiro,
1991,
Declarative Programming.
Cristina Ribeiro,
António Porto,
Cristina Ribeiro,
1993,
ELP.
Cristina Ribeiro,
António Porto,
Cristina Ribeiro,
1994,
ICTL.
Gabriel David,
António Porto,
1990,
LPE.
Luís Monteiro,
António Porto,
1993
.
António Porto,
2002,
FLOPS.
António Porto,
Miguel Filgueiras,
1984,
SLP.
António Porto,
2003,
PADL.
Luís Monteiro,
António Porto,
L. Monteiro,
1990,
ICLP.
António Porto,
Paulo Rosado,
1992,
ELP.
Gruia-Catalin Roman,
António Porto,
2000
.
Cristina Ribeiro,
António Porto,
Cristina Ribeiro,
1991,
EPIA.
Luís Monteiro,
António Porto,
L. Monteiro,
1989,
ICLP.
António Porto,
1984,
Implementations of Prolog.
Luís Monteiro,
António Porto,
1998,
Theor. Comput. Sci..
Cristina Ribeiro,
António Porto,
Cristina Ribeiro,
1991,
PDK.
Luís Moniz Pereira,
António Porto,
1982,
ICLP.
António Porto,
1991,
ICLP.
Gruia-Catalin Roman,
António Porto,
G. Roman,
2000
.
António Porto,
2009,
INAP.
Cristina Ribeiro,
António Porto,
Cristina Ribeiro,
1992,
ECAI.
António Porto,
2009,
PADL.
Gruia-Catalin Roman,
António Porto,
2003,
Lecture Notes in Computer Science.
António Porto,
2011,
Theory Pract. Log. Program..
António Porto,
Adrian Walker,
1983,
Logic Programming Workshop.
António Porto,
1984,
FGCS.
António Porto,
1983,
Logic Programming Workshop.
Luís Moniz Pereira,
Pedro Barahona,
António Porto,
1991
.
Luís Moniz Pereira,
António Porto,
1980,
CADE.
António Porto,
Vasco T. Vasconcelos,
1996
.