×

Found 7 Documents (Results 1–7)

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software