×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

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. Electronic Notes in Theoretical Computer Science 344, 151-167 (2019).
MSC:  03B70 68Q55 68T27
BibTeX Cite
Full Text: DOI
WorldCat.org
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 (ISBN 978-3-662-52920-1/pbk; 978-3-662-52921-8/ebook). Lecture Notes in Computer Science 9803, 338-357 (2016).
MSC:  03B70
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification
Software