Pedro Sánchez Terraf
发表
Emmanuel Gunther,
Miguel Pagano,
Pedro Sánchez Terraf,
2020,
Arch. Formal Proofs.
Emmanuel Gunther,
Miguel Pagano,
Pedro Sánchez Terraf,
2019,
ArXiv.
Pedro Sánchez Terraf,
2008,
Order.
Nicolás Wolovick,
Pedro R. D'Argenio,
Pedro Sánchez Terraf,
2011,
Mathematical Structures in Computer Science.
Pedro Sánchez Terraf,
2010,
Inf. Comput..
Nicolás Wolovick,
Pedro R. D'Argenio,
Pedro Sánchez Terraf,
2010,
ArXiv.
Ernst-Erich Doberkat,
Pedro Sánchez Terraf,
E. Doberkat,
2014,
J. Log. Comput..
Pedro Sánchez Terraf,
Carlos Areces,
Miguel Campercholi,
2015,
J. Log. Comput..
Nicolás Wolovick,
Pedro R. D'Argenio,
Carlos E. Budde,
2012,
ROCKS.
Nicolás Wolovick,
Pedro R. D'Argenio,
Pedro Sánchez Terraf,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Pedro Sánchez Terraf,
2012,
Mathematical Structures in Computer Science.
Pedro Sánchez Terraf,
2011,
Int. J. Algebra Comput..
Pedro Sánchez Terraf,
2020,
Arch. Formal Proofs.
Emmanuel Gunther,
Miguel Pagano,
Pedro Sánchez Terraf,
2018,
LSFA.
Pedro Sánchez Terraf,
Jan Pachl,
2017,
ArXiv.
Xavier Caicedo,
Pedro Sánchez Terraf,
Keith A. Kearnes,
2021,
Algebra universalis.
Pedro Sánchez Terraf,
Miguel Pagano,
Emmanuel Gunther,
2020,
Arch. Formal Proofs.
Pedro Sánchez Terraf,
Miguel Pagano,
Emmanuel Gunther,
2018
.