×

zbMATH — the first resource for mathematics

Found 112 Documents (Results 1–100)

100
MathJax
Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer (ISBN 978-3-030-20446-4/hbk; 978-3-030-20447-1/ebook). Synthese Library 412, 353-374 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 179-195, electronic only (2015).
PDF BibTeX XML Cite
Full Text: DOI
Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 49-59, electronic only (2014).
MSC:  68Q55 06B35
PDF BibTeX XML Cite
Full Text: DOI
Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 3-19, electronic only (2014).
MSC:  68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 131-137, electronic only (2014).
MSC:  06B35 18D15
PDF BibTeX XML Cite
Full Text: DOI
Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 117-129, electronic only (2014).
MSC:  68Q55 06B35
PDF BibTeX XML Cite
Full Text: DOI
Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 229-244 (2011).
MSC:  68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian Horia (ed.) et al., Language and automata theory and applications. Third international conference, LATA 2009, Tarragona, Spain, April 2–8, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00981-5/pbk). Lecture Notes in Computer Science 5457, 530-541 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 17-39 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Lenisa, Mariana (ed.) et al., TOSCA 2001. Proceedings of the workshop on theory of concurrency, higher order languages and types, Udine, Italy, November 19–21, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 62, 177-194 (2002).
MSC:  68Q85
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, 96-115 (2002).
MSC:  68Q55 03B70 06B35
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