Seán Matthews
发表
Luca Viganò,
David A. Basin,
Seán Matthews,
1997,
KI.
Luca Viganò,
David A. Basin,
Seán Matthews,
1998,
Stud Logica.
Seán Matthews,
1997,
CADE.
Alan Smaill,
Seán Matthews,
David Basin,
1993
.
Luca Viganò,
David A. Basin,
Seán Matthews,
1997,
J. Log. Comput..
Seán Matthews,
S. Matthews,
1992
.
David A. Basin,
Seán Matthews,
D. Basin,
1996,
Inf. Comput..
David A. Basin,
Seán Matthews,
1993,
FSTTCS.
Alan Bundy,
David A. Basin,
Seán Matthews,
1993,
Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design.
Luca Viganò,
Seán Matthews,
David Basin,
1998
.
Luca Viganò,
David A. Basin,
Seán Matthews,
1996,
KR.
Luca Viganò,
David A. Basin,
Seán Matthews,
1996,
FroCoS.
David A. Basin,
Seán Matthews,
1996,
CADE.
Seán Matthews,
1996
.
Luca Viganò,
David A. Basin,
Seán Matthews,
1997,
Kurt Gödel Colloquium.
Seán Matthews,
Gayle McElvain,
Filippo Pompili,
2019,
SIGIR.
Seán Matthews,
S. Matthews,
1997,
TACS.
Alan Smaill,
Seán Matthews,
David Basin,
1991
.
Luca Viganò,
David A. Basin,
Seán Matthews,
1998,
J. Log. Lang. Inf..
David A. Basin,
Seán Matthews,
D. Basin,
1998,
Workshop on Rewriting Logic and Its Applications.
Seán Matthews,
S. Matthews,
1996,
DISCO.
Dov M. Gabbay,
Marcello D'Agostino,
Seán Matthews,
2000
.
David A. Basin,
Seán Matthews,
D. Basin,
1996,
J. Log. Comput..
Seán Matthews,
1994
.