Daniel Gorín
发表
Rafael Grimson,
Santiago Figueira,
Daniel Gorín,
2011,
WoLLIC.
Rafael Grimson,
Santiago Figueira,
Daniel Gorín,
2014,
J. Comput. Syst. Sci..
Diego Garbervetsky,
Daniel Gorín,
Guido de Caso,
2013,
Softw. Pract. Exp..
Daniel Gorín,
Lutz Schröder,
Lutz Schröder,
2012,
FoSSaCS.
Dirk Pattinson,
Daniel Gorín,
Lutz Schröder,
2014,
IJCAR.
Santiago Figueira,
Daniel Gorín,
Carlos Areces,
2011,
LACL.
Daniel Gorín,
Lutz Schröder,
Thorsten Wißmann,
2013,
Description Logics.
Diego Garbervetsky,
Daniel Gorín,
Ariel Neisen,
2011,
TACAS.
Diego Garbervetsky,
Daniel Gorín,
Guido de Caso,
2011,
TOPI '11.
Santiago Figueira,
Daniel Gorín,
Carlos Areces,
2010,
ArXiv.
Balder ten Cate,
Patrick Blackburn,
Thomas Bolander,
2006
.
Rafael Grimson,
Santiago Figueira,
Daniel Gorín,
2008,
J. Comput. Syst. Sci..
Daniel Gorín,
Lutz Schröder,
Miriam Polzer,
2017,
KI.
Daniel Gorín,
Carlos Areces,
C. Areces,
2010,
J. Appl. Log..
Diego Garbervetsky,
Daniel Gorín,
Guido de Caso,
2010,
ArXiv.
Daniel Gorín,
Carlos Areces,
C. Areces,
2010,
Journal of Automated Reasoning.
Daniel Gorín,
Lutz Schröder,
Lutz Schröder,
2012,
Advances in Modal Logic.
Daniel Gorín,
Fernando Schapachnik,
Sergio Mera,
2010,
JURIX.
Rafael Grimson,
Santiago Figueira,
Daniel Gorín,
2010,
J. Comput. Syst. Sci..
Daniel Gorín,
Fernando Schapachnik,
Sergio Mera,
2011,
FLACOS.
Daniel Gorín,
Carlos Areces,
C. Areces,
2005,
LPAR.
Daniel Gorín,
Diego Figueira,
Carlos Areces,
2009,
TABLEAUX.
Santiago Figueira,
Daniel Gorín,
S. Figueira,
2010,
Advances in Modal Logic.
Daniel Gorín,
Alejandra Lorenzo,
Carlos Areces,
2009,
Description Logics.
Daniel Gorín,
Lutz Schröder,
Lutz Schröder,
2014,
Advances in Modal Logic.
Daniel Gorín,
Lutz Schröder,
Facundo Carreiro,
2013,
ICALP.
Daniel Gorín,
Lutz Schröder,
Lutz Schröder,
2013,
CALCO.
Daniel Gorín,
Carlos Areces,
C. Areces,
2011,
M4M/LAMAS.