Mario R. F. Benevides

发表

Mario R. F. Benevides, L. Menasché Schechter, M. Benevides, 2009, ArXiv.
Mario R. F. Benevides, D. R. Vasconcelos, Edward Hermann Haeusler, 2005, WRAC.
Mario R. F. Benevides, Paulo A. S. Veloso, Sheila R. M. Veloso, 2018, Diagrams.
Mario R. F. Benevides, Elaine Pimentel, Belo Horizonte, 2008, LSFA.
Mario R. F. Benevides, L. Menasché Schechter, M. Benevides, 2010, M4M.
Mario R. F. Benevides, L. Menasché Schechter, 2011, Theor. Comput. Sci..
Mario R. F. Benevides, Edward Hermann Haeusler, Bruno Lopes, 2014, Log. J. IGPL.
Mario R. F. Benevides, Manuel A. Martins, Alexandre Madeira, 2019, LSFA.
Mario R. F. Benevides, Carlos López Pombo, Carla A. D. M. Delgado, 2008, Electron. Notes Theor. Comput. Sci..
Mario R. F. Benevides, Paulo A. S. Veloso, Renata P. de Freitas, 2010, Log. J. IGPL.
Mario R. F. Benevides, Paulo A. S. Veloso, Sheila R. M. Veloso, 2015, LSFA.
Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso, 2000, SAC '00.
Mario R. F. Benevides, 2003, Logic for Concurrency and Synchronisation.
Mario R. F. Benevides, M. Benevides, 2017, Theor. Comput. Sci..
Mario R. F. Benevides, L. Menasché Schechter, M. Benevides, 2009, LSFA.
Mario R. F. Benevides, 1993, Kurt Gödel Colloquium.
Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins, 2011, WoLLIC.
Mario R. F. Benevides, Alexandre Madeira, Leandro Gomes, 2019, FSEN.
Mario R. F. Benevides, Alexandre Madeira, M. Benevides, 2017, Lecture Notes in Computer Science.
Mario R. F. Benevides, Paulo A. S. Veloso, Sheila R. M. Veloso, 2017, Theor. Comput. Sci..
Mario R. F. Benevides, Vania Costa, M. Benevides, 2005, Log. J. IGPL.
Mario R. F. Benevides, Paulo A. S. Veloso, Renata P. de Freitas, 2004, SBIA.
Mario R. F. Benevides, L. Menasché Schechter, M. Benevides, 2008, LSFA.
Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso, 2002, Web, Web-Services, and Database Systems.
Mario R. F. Benevides, Edward Hermann Haeusler, Bruno Lopes, 2015, PAAMS.
Mario R. F. Benevides, Alexandre Madeira, 2020, J. Log. Algebraic Methods Program..
Mario R. F. Benevides, Marcelo Sihman, 1997, OPODIS.
Mario R. F. Benevides, Paulo A. S. Veloso, Sheila R. M. Veloso, 2014, Log. J. IGPL.
Mario R. F. Benevides, Isaque Lima, 2017, Computación y Sistemas.
Mario R. F. Benevides, Isaque M. S. Lima, Isaque M. S. Lima, 2019, LSFA.
Mario R. F. Benevides, Edward Hermann Haeusler, Bruno Lopes, 2014, LSFA.
Mario R. F. Benevides, Manuel A. Martins, Alexandre Madeira, 2018, LSFA.
Mario R. F. Benevides, L. Menasché Schechter, M. Benevides, 2009, Log. J. IGPL.
Mario R. F. Benevides, L. Menasché Schechter, M. Benevides, 2014, J. Log. Comput..
Mario R. F. Benevides, Paulo A. S. Veloso, Sheila R. M. Veloso, 2014, LSFA.
Mario R. F. Benevides, Paulo A. S. Veloso, Renata P. de Freitas, 2003, J. Philos. Log..
Mario R. F. Benevides, Felipe Maia Galvão França, Valmir Carneiro Barbosa, 2000, Theory of Computing Systems.
Mario R. F. Benevides, M. Benevides, 2014, LSFA.
Mario R. F. Benevides, Anna C. C. M. Oliveira, M. Benevides, 2020, Anais do Workshop Brasileiro de Lógica (WBL 2020).
Mario R. F. Benevides, René Thiemann, 2015, LSFA.
Mario R. F. Benevides, Paulo A. S. Veloso, Renata P. de Freitas, 2007, J. Philos. Log..
Mario R. F. Benevides, T. S. E. Maibaum, T. Maibaum, 1992, J. Log. Comput..
Mario R. F. Benevides, Carla A. D. M. Delgado, 2002, IC-AI.
Mario R. F. Benevides, 1995, ECSQARU.
Mario R. F. Benevides, L. Menasché Schechter, 2008, WoLLIC.
Mario R. F. Benevides, Edward Hermann Haeusler, Bruno Lopes, 2016, ICTAC.
Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins, 2014, J. Comput. Syst. Sci..
Mario R. F. Benevides, Vitor Machado, M. Benevides, 2020, DARe@LPNMR.
Mario R. F. Benevides, Carla A. D. M. Delgado, Michel Carlini, 2008, SBIA.
Mario R. F. Benevides, Odinaldo Rodrigues, 1994 .
Mario R. F. Benevides, Renata P. de Freitas, Petrucio Viana, 2011, LSFA.
Mario R. F. Benevides, Edward Hermann Haeusler, Bruno Lopes, 2018, Theor. Comput. Sci..
Mario R. F. Benevides, Odinaldo Rodrigues, 1994, PLILP.
Mario R. F. Benevides, Isaque M. S. Lima, Isaque Lima, 2014, DCM.
Mario R. F. Benevides, Carla A. D. M. Delgado, M. Benevides, 2009, MATES.
Mario R. F. Benevides, Odinaldo Rodrigues, 1995, SBIA.
Mario R. F. Benevides, Vania Costa, 2005, Log. J. IGPL.
Mario R. F. Benevides, Valmir Carneiro Barbosa, Ayru L. Oliveira Filho, 2001, Inf. Process. Lett..
Mario R. F. Benevides, Elaine Pimentel, Valeria de Paiva, 2014, Electron. Notes Theor. Comput. Sci..
Mario R. F. Benevides, Manuel A. Martins, Alexandre Madeira, 2021, FSEN.