×

zbMATH — the first resource for mathematics

Found 1,142 Documents (Results 1–100)

100
MathJax
Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 177-191 (2021).
MSC:  68Q60 68Q06 94C11
PDF BibTeX XML Cite
Full Text: DOI
Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 167-175 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 143-165 (2021).
MSC:  94Cxx 68-XX 68Q06
PDF BibTeX XML Cite
Full Text: DOI
Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 125-142 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 105-124 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 83-104 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 59-81 (2021).
MSC:  68Q06 94C11
PDF BibTeX XML Cite
Full Text: DOI
Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 29-57 (2021).
MSC:  68T05 68Q06 94C11
PDF BibTeX XML Cite
Full Text: DOI
Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 1-27 (2021).
MSC:  94C11 68-XX 68Q06
PDF BibTeX XML Cite
Full Text: DOI
Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 464-485 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Cham: Springer (ISBN 978-3-030-68070-1/hbk; 978-3-030-68071-8/ebook). vii, 197 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Discrete Math. Appl. 31, No. 1, 61-75 (2021); translation from Diskretn. Mat. 32, No. 1, 8-26 (2020).
MSC:  94Cxx 68-XX
PDF BibTeX XML Cite
Full Text: DOI
Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2020. 39th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, May 10–14, 2020. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 12107, 620-641 (2020).
MSC:  94A60 68P25 68M12
PDF BibTeX XML Cite
Full Text: DOI
Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 274-309 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Jirásková, Galina (ed.) et al., Descriptional complexity of formal systems. 22nd international conference, DCFS 2020, Vienna, Austria, August 24–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12442, 26-38 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv
De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 2569-2576 (2020).
MSC:  68T05 62H22 68Q06
PDF BibTeX XML Cite
Full Text: DOI
De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 712-720 (2020).
MSC:  68T05 62H30 68Q06
PDF BibTeX XML Cite
Full Text: DOI
Liu, Joseph K. (ed.) et al., Information security and privacy. 25th Australasian conference, ACISP 2020, Perth, WA, Australia, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12248, 369-388 (2020).
PDF BibTeX XML Cite
Full Text: DOI
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). 209-223 (2020).
MSC:  03F20
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 1327-1334 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Studies in Computational Intelligence 879. Singapore: Springer (ISBN 978-981-15-1822-5/hbk; 978-981-15-1823-2/ebook). xiv, 178 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

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