José Espírito Santo

发表

José Espírito Santo, Ralph Matthes, Luís Pinto, 2007, TLCA.
José Espírito Santo, Ralph Matthes, Luís Pinto, 2008, TYPES.
José Espírito Santo, Luís Pinto, J. E. Santo, 2011, TOCL.
José Espírito Santo, Ralph Matthes, Luís Pinto, 2016, Ann. Pure Appl. Log..
José Espírito Santo, 2007, CiE.
José Espírito Santo, Ralph Matthes, Luís Pinto, 2019, Math. Struct. Comput. Sci..
José Espírito Santo, Luís Pinto, Maria João Frade, 2006, RTA.
José Espírito Santo, Silvia Ghilezan, Jelena Ivetic, 2007, TYPES.
José Espírito Santo, Silvia Likavec, Jelena Ivetic, 2012, Fundam. Informaticae.
José Espírito Santo, J. E. Santo, 2015, TLCA.
José Espírito Santo, Ralph Matthes, Luís Pinto, 2013, FICS.
José Espírito Santo, J. E. Santo, 2010, Ann. Pure Appl. Log..
José Espírito Santo, J. E. Santo, 2017, LSFA.
José Espírito Santo, J. E. Santo, 2007, TLCA.
José Espírito Santo, Luís Pinto, Tarmo Uustalu, 2019, FSCD.
José Espírito Santo, Ralph Matthes, Luís Pinto, 2013, Mathematical Structures in Computer Science.
José Espírito Santo, 2013, Ann. Pure Appl. Log..
José Espírito Santo, Ralph Matthes, Luís Pinto, 2014, CL&C.
José Espírito Santo, 2011, Theor. Comput. Sci..
José Espírito Santo, Luís Pinto, Maria João Frade, 2016, TYPES.
José Espírito Santo, J. E. Santo, 2000, ICALP.
José Espírito Santo, J. E. Santo, 2016, CL&C.
José Espírito Santo, J. E. Santo, 2009, Theory of Computing Systems.
José Espírito Santo, Gilda Ferreira, Gilda Ferreira, 2020, Stud Logica.
José Espírito Santo, 2007, RTA.
José Espírito Santo, Ralph Matthes, Luís Pinto, 2007, TLCA.
José Espírito Santo, Ralph Matthes, Luís Pinto, 2016 .