×

zbMATH — the first resource for mathematics

Found 56 Documents (Results 1–56)

100
MathJax
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, 25-45 (2019).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-27682-3/pbk; 978-3-319-27683-0/ebook). Lecture Notes in Computer Science 9537, 187-201 (2016).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Nieves, Juan Carlos (ed.) et al., Selected papers based on the presentations at the 9th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Valle de Bravo, Mexico, November 5–7, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 315, 31-46 (2014).
MSC:  03F20 03B05 03B35
PDF BibTeX XML Cite
Full Text: DOI
de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 131-147 (2002).
MSC:  03B20
PDF BibTeX XML Cite
Full Text: DOI
Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 312-329 (1996).
MSC:  03B20 03D15 68Q17 68Q25 68T15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software