×

zbMATH — the first resource for mathematics

Found 24 Documents (Results 1–24)

100
MathJax
Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 504-529 (2017).
MSC:  68Nxx
PDF BibTeX XML Cite
Full Text: DOI
Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 57-74 (2016).
MSC:  68T15 03B35 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 320-332 (2011).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Bolander, T. (ed.) et al., International workshop on hybrid logic and applications 2010 (HyLo 2010). Post-proceedings of the workshop, Edinburgh, UK, July 10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 273, 3-19 (2011).
MSC:  03B45 03B25 03B62
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 159-170 (2010).
MSC:  68N30 68N18
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 217-228 (2010).
MSC:  68N15 68N18
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 63-74 (2008).
MSC:  68N18 03B70 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Cannata, Nicola (ed.) et al., Proceedings of the first workshop “From biology to concurrency and back (FBTC 2007)”, Lisbon, Portugal, September 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 3, 69-85 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Hodges, Wilfrid (ed.) et al., Logic, language, information and computation. 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1–4, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69936-1/pbk). Lecture Notes in Computer Science 5110. Lecture Notes in Artificial Intelligence, 111-122 (2008).
MSC:  68N30 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 85-95 (2007).
MSC:  68N18 68N15 68N30
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, 204-217 (2002).
MSC:  03G15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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