George Metcalfe

发表

Petr Cintula, Carles Noguera, George Metcalfe, 2011, J. Log. Comput..

George Metcalfe, G. Metcalfe, 2011 .

Matthias Baaz, George Metcalfe, M. Baaz, 2009, J. Log. Comput..

Enrico Marchioni, George Metcalfe, G. Metcalfe, 2012, Math. Log. Q..

George Metcalfe, Denisa Diaconescu, Laura Schnüriger, 2016, Advances in Modal Logic.

George Metcalfe, Almudena Colacito, 2017, WoLLIC.

George Metcalfe, Jos'e Gil-F'erez, Frederik Lauridsen, 2020, Stud Logica.

Matthias Baaz, George Metcalfe, M. Baaz, 2008, CiE.

Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2003 .

George Metcalfe, Denisa Diaconescu, Laura Schnüriger, 2018, Log. Methods Comput. Sci..

George Metcalfe, Nikolaos Galatos, 2016, Ann. Pure Appl. Log..

Petr Cintula, George Metcalfe, G. Metcalfe, 2013, LPAR.

George Metcalfe, 2006, J. Log. Comput..

Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, 2019, WoLLIC.

Nicola Olivetti, George Metcalfe, N. Olivetti, 2011, Log. Methods Comput. Sci..

Enrico Marchioni, George Metcalfe, G. Metcalfe, 2010, 2010 40th IEEE International Symposium on Multiple-Valued Logic.

Petr Cintula, George Metcalfe, G. Metcalfe, 2010, Ann. Pure Appl. Log..

George Metcalfe, Michel Marti, 2014, Advances in Modal Logic.

George Metcalfe, Leonardo Manuel Cabrer, 2015, Log. Methods Comput. Sci..

Franco Montagna, George Metcalfe, G. Metcalfe, 2007, Journal of Symbolic Logic.

Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2003, CSL.

Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2005, Log. J. IGPL.

George Metcalfe, Michel Marti, G. Metcalfe, 2018, Arch. Math. Log..

George Metcalfe, Constantine Tsinakis, C. Tsinakis, 2017, Soft Comput..

Christian G. Fermüller, George Metcalfe, C. Fermüller, 2009, Stud Logica.

Agata Ciabattoni, George Metcalfe, 2007, LFCS.

George Metcalfe, Christoph Röthlisberger, G. Metcalfe, 2012, CiE.

Petr Cintula, George Metcalfe, 2009, Notre Dame J. Formal Log..

Agata Ciabattoni, George Metcalfe, A. Ciabattoni, 2003, TABLEAUX.

Petr Cintula, George Metcalfe, Denisa Diaconescu, 2015, LPAR.

Petr Cintula, George Metcalfe, Denisa Diaconescu, 2019, Theor. Comput. Sci..

Dov M. Gabbay, George Metcalfe, 2007, Arch. Math. Log..

Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2002, TOCL.

Christian G. Fermüller, Agata Ciabattoni, George Metcalfe, 2005, LPAR.

Nicola Olivetti, George Metcalfe, N. Olivetti, 2009, TABLEAUX.

Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2002, TABLEAUX.

Agata Ciabattoni, George Metcalfe, A. Ciabattoni, 2008, Theor. Comput. Sci..

Tomasz Kowalski, George Metcalfe, G. Metcalfe, 2018, Ann. Pure Appl. Log..

Tomasz Kowalski, George Metcalfe, G. Metcalfe, 2018, Advances in Modal Logic.

Hilary A. Priestley, George Metcalfe, Leonardo Manuel Cabrer, 2018, TOCL.

George Metcalfe, Samuel Jacob van Gool, Constantine Tsinakis, 2017, Ann. Pure Appl. Log..

Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2004, Arch. Math. Log..

Xavier Caicedo, George Metcalfe, Jonas Rogger, 2016 .

George Metcalfe, Christoph Röthlisberger, 2012, Soft Comput..

George Metcalfe, 2016, J. Log. Comput..

Rosalie Iemhoff, George Metcalfe, 2016, Notre Dame J. Formal Log..

Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2009 .

Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2004, CSL.

Rosalie Iemhoff, George Metcalfe, G. Metcalfe, 2008, LFCS.

Matthias Baaz, George Metcalfe, 2007, TABLEAUX.

George Metcalfe, Constantine Tsinakis, 2010, J. Log. Comput..

Franco Montagna, Agata Ciabattoni, George Metcalfe, 2010, Fuzzy Sets Syst..

Rosalie Iemhoff, George Metcalfe, G. Metcalfe, 2009, Ann. Pure Appl. Log..

George Metcalfe, Christoph Röthlisberger, G. Metcalfe, 2013, Log. Methods Comput. Sci..

Petr Cintula, George Metcalfe, G. Metcalfe, 2007, Arch. Math. Log..

Xavier Caicedo, George Metcalfe, Olim Tuyt, 2021, Inf. Comput..

George Metcalfe, Naomi Tokuda, 2021 .

George Metcalfe, Adrien Guatto, Sam van Gool, 2021, RAMiCS.

George Metcalfe, Nikolaos Galatos, Almudena Colacito, 2021 .

Francesco Paoli, George Metcalfe, Constantine Tsinakis, 2010 .

George Metcalfe, Leonardo Manuel Cabrer, 2015 .

Peter Jipsen, George Metcalfe, Jos'e Gil-F'erez, 2020, Algebra universalis.