×

zbMATH — the first resource for mathematics

Found 88 Documents (Results 1–88)

100
MathJax
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 604-618 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 277-298 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 571-580 (2012).
MSC:  03F52 03G30
PDF BibTeX XML Cite
Full Text: DOI
Li, Benghe (ed.) et al., Low dimensional topology. Lectures presented during the program on low-dimensional topology held at the Morningside Center of Mathematics, Beijing, China, 1998/1999. Somerville, MA: International Press (ISBN 1-57146-112-4/pbk). New Stud. Adv. Math. 3, 13-23 (2003).
MSC:  57R57 57-02 57N13
PDF BibTeX XML Cite
Egorychev, G. P. (ed.), Permanents: theory and applications. Interuniversity collection. Krasnoyarsk: Krasnoyarskij Politekhnicheskij Institut, 53-65 (1990).
MSC:  52B05 05C90
PDF BibTeX XML Cite
Proc. Steklov Inst. Math. 179, 1-19 (1989); translation from Tr. Mat. Inst. Steklova 179, 5-22 (1988).
MSC:  35B65 35J25 35K20
PDF BibTeX XML Cite

Filter Results by …

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