Ramos, Marcus V. M.; Bacelar Almeida, José Carlos; Moreira, Nelma; de Queiroz, Ruy J. G. B. Some applications of the formalization of the pumping lemma for context-free languages. (English) Zbl 1433.68200 Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 151-167 (2019). MSC: 68Q45 68V15 68V20 PDFBibTeX XMLCite \textit{M. V. M. Ramos} et al., Electron. Notes Theor. Comput. Sci. 344, 151--167 (2019; Zbl 1433.68200) Full Text: DOI
Ramos, Marcus V. M.; Almeida, José Carlos Bacelar; Moreira, Nelma; De Queiroz, Ruy José Guerra Barretto Formalization of the pumping lemma for context-free languages. (English) Zbl 1451.68160 J. Formaliz. Reason. 9, No. 2, 53-68 (2016). MSC: 68Q45 68V20 PDFBibTeX XMLCite \textit{M. V. M. Ramos} et al., J. Formaliz. Reason. 9, No. 2, 53--68 (2016; Zbl 1451.68160) Full Text: DOI arXiv
Ramos, Marcus Vinícius Midena; de Queiroz, Ruy J. G. B.; Moreira, Nelma; Bacelar Almeida, José Carlos On the formalization of some results of context-free language theory. (English) Zbl 1478.68133 Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 338-357 (2016). MSC: 68Q45 68Q42 68V20 PDFBibTeX XMLCite \textit{M. V. M. Ramos} et al., Lect. Notes Comput. Sci. 9803, 338--357 (2016; Zbl 1478.68133) Full Text: DOI Link
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão Deciding Kleene algebra terms equivalence in Coq. (English) Zbl 1329.68232 J. Log. Algebr. Methods Program. 84, No. 3, 377-401 (2015). MSC: 68T15 68Q45 68Q60 PDFBibTeX XMLCite \textit{N. Moreira} et al., J. Log. Algebr. Methods Program. 84, No. 3, 377--401 (2015; Zbl 1329.68232) Full Text: DOI
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão Deciding regular expressions (in-)equivalence in Coq. (English) Zbl 1330.68265 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 98-113 (2012). MSC: 68T15 68Q45 68Q60 PDFBibTeX XMLCite \textit{N. Moreira} et al., Lect. Notes Comput. Sci. 7560, 98--113 (2012; Zbl 1330.68265) Full Text: DOI
Almeida, José Bacelar; Moreira, Nelma; Pereira, David; de Sousa, Simão Melo Partial derivative automata formalized in Coq. (English) Zbl 1297.68214 Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 59-68 (2011). MSC: 68T15 68Q45 PDFBibTeX XMLCite \textit{J. B. Almeida} et al., Lect. Notes Comput. Sci. 6482, 59--68 (2011; Zbl 1297.68214) Full Text: DOI Link
Pereira, David; Oliveira, Eugénio; Moreira, Nelma Formal modelling of emotions in BDI agents. (English) Zbl 1175.68462 Sadri, Fariba (ed.) et al., Computational logic in multi-agent systems. 8th international workshop, CLIMA VIII, Porto, Portugal, September 10–11, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-88832-1/pbk). Lecture Notes in Computer Science 5056. Lecture Notes in Artificial Intelligence, 62-81 (2009). MSC: 68T42 68T27 PDFBibTeX XMLCite \textit{D. Pereira} et al., Lect. Notes Comput. Sci. 5056, 62--81 (2009; Zbl 1175.68462) Full Text: DOI