×

zbMATH — the first resource for mathematics

Found 883 Documents (Results 1–100)

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). 958-971 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Algebra Logic 57, No. 6, 429-444 (2019); translation from Algebra Logika 57, No. 6, 662-683 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 385-403 (2017).
MSC:  68Q87 03B70 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI
Gaur, Daya (ed.) et al., Algorithms and discrete applied mathematics. Third international conference, CALDAM 2017, Sancoale, Goa, India, February 16–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10156, 83-95 (2017).
MSC:  68R10 68P05 91D30
PDF BibTeX XML Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 470-481 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 277-298 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Platzeck, María Inés (ed.) et al., Actas del XIII congreso “Dr. Antonio A. R. Monteiro”. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 3-24 (2016).
PDF BibTeX XML Cite
Structural sparsity. (English. Russian original) Zbl 1367.03065
Russ. Math. Surv. 71, No. 1, 79-107 (2016); translation from Usp. Mat. Nauk 71, No. 1, 85-116 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Nielsen, Frank (ed.) et al., Geometric science of information. Second international conference, GSI 2015, Palaiseau, France, October 28–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25039-7/pbk; 978-3-319-25040-3/ebook). Lecture Notes in Computer Science 9389, 69-76 (2015).
MSC:  94A15
PDF BibTeX XML Cite
Full Text: DOI
Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 107-120, electronic only (2014).
MSC:  08A40 06A15 18C10
PDF BibTeX XML Cite
Full Text: DOI
Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 3-35, electronic only (2014).
MSC:  08A40
PDF BibTeX XML Cite
Full Text: DOI
Choban, Mitrofan (ed.) et al., The third conference of the Mathematical Society of the Republic of Moldova dedicated to the 50th anniversary of the foundation of the Institute of Mathematics and Computer Science, ASM, Chişinău, Republic of Moldova, August 19–23, 2014. Abstracts. Chişinău: Academy of Sciences of Moldova, Institute of Mathematics and Computer Science (ISBN 978-9975-68-244-2/pbk). Proceedings IMCS-50, 459-462 (2014).
MSC:  68P05 08A02
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
Biographic Reference
all top 3
Software