×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24245-3/pbk; 978-3-319-24246-0/ebook). Lecture Notes in Computer Science 9322. Lecture Notes in Artificial Intelligence, 101-116 (2015).
MSC:  68T
PDF BibTeX XML Cite
Full Text: DOI
Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 3-17 (2011).
MSC:  68T15 68Q60 68T20
PDF BibTeX XML Cite
Full Text: DOI