João Rasga

发表

Cristina Sernadas, João Rasga, Amílcar Sernadas, 2013, J. Appl. Log..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2012, J. Log. Comput..
Cristina Sernadas, João Rasga, C. Sernadas, 2020 .
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2016, Log. J. IGPL.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2017, Log. J. IGPL.
João Rasga, Daniel Oliveira, J. Rasga, 2020, Log. J. IGPL.
Cristina Sernadas, João Rasga, Walter Alexandre Carnielli, 2002, J. Symb. Log..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2008, J. Log. Comput..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2013, Stud Logica.
Cristina Sernadas, João Rasga, Karina Roggia, 2010, Log. J. IGPL.
Cristina Sernadas, João Rasga, Walter Alexandre Carnielli, 2009, Math. Log. Q..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2009, J. Log. Comput..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2014, Logica Universalis.
Cristina Sernadas, João Rasga, Jaime Ramos, 2020, Logica Universalis.
Cristina Sernadas, João Rasga, C. Sernadas, 2020 .
Luca Viganò, Cristina Sernadas, João Rasga, 2002, FroCoS.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2014, J. Log. Comput..
Luca Viganò, Cristina Sernadas, João Rasga, 2002, J. Log. Comput..
Cristina Sernadas, João Rasga, Walter Alexandre Carnielli, 2008, J. Log. Comput..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2014, Stud Logica.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2016, Rev. Symb. Log..
João Rasga, André Souto, Filipe Casal, 2018, Cryptogr..
Luca Viganò, Cristina Sernadas, João Rasga, 2019, ArXiv.
Cristina Sernadas, João Rasga, Wafik Boulos Lotfallah, 2013, Math. Log. Q..
Jan Bouda, João Rasga, Paulo Mateus, 2008 .
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2012, Stud Logica.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2009, J. Log. Comput..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2011, Logica Universalis.
Cristina Sernadas, João Rasga, Paulo Mateus, 2005, Log. J. IGPL.
Cristina Sernadas, João Rasga, Walter Carnielli, 2005 .
João Rasga, Paulo Mateus, F. Moura, 2007, 2007 First International Conference on Quantum, Nano, and Micro Technologies (ICQNM'07).
João Rasga, Filipe Casal, J. Rasga, 2018, Journal of Automated Reasoning.
João Rasga, Filipe Casal, 2013, LPAR.
Luca Viganò, Cristina Sernadas, João Rasga, 2003, J. Appl. Non Class. Logics.
Cristina Sernadas, João Rasga, Jaime Ramos, 2021, J. Log. Algebraic Methods Program..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2015 .