×

Found 206 Documents (Results 1–100)

Certified core-guided MaxSAT solving. (English) Zbl 07838477

Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 1-22 (2023).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Integrating topological proofs with model checking to instrument iterative design. (English) Zbl 1507.68195

Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 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. Lect. Notes Comput. Sci. 12076, 53-74 (2020).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Constructibility. Reprint of the 1984 original published by Springer. (English) Zbl 1365.03005

Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16835-0/hbk; 978-1-316-71721-9/ebook). xi, 425 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Large cardinals and higher degree theory. (English) Zbl 1432.03104

Zhao, Xishun (ed.) et al., Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16–20, 2013. Hackensack, NJ: World Scientific. 201-236 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

Cohomology of large semiprojective hyperkaehler varieties. (English. French summary) Zbl 1348.53058

Bost, Jean-Benoît (ed.) et al., De la géométrie algébrique aux formes automorphes (II). Une collection d’articles en l’honneur du soixantième anniversaire de Gérard Laumon. Paris: Société Mathématique de France (SMF) (ISBN 978-2-85629-806-0/pbk). Astérisque 370, 113-156 (2015).
PDFBibTeX XMLCite
Full Text: arXiv

Coding over core models. (English) Zbl 1358.03077

Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 167-182 (2014).
MSC:  03E45 03E35 03E55
PDFBibTeX XMLCite
Full Text: arXiv

An axiomatization for cylinder computation model. (English) Zbl 1332.68144

Cai, Zhipeng (ed.) et al., Computing and combinatorics. 20th international conference, COCOON 2014, Atlanta, GA, USA, August 4–6, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08782-5/pbk). Lecture Notes in Computer Science 8591, 71-83 (2014).
MSC:  68Q60 03B44 68T15
PDFBibTeX XMLCite
Full Text: DOI

The geometrization conjecture. (English) Zbl 1302.53001

Clay Mathematics Monographs 5. Providence, RI: American Mathematical Society (AMS); Cambridge, MA: Clay Mathematics Institute (ISBN 978-0-8218-5201-9/hbk). ix, 291 p. (2014).
Reviewer: Ioan Pop (Iaşi)
MSC:  53-02 53C44 53C21 57N10
PDFBibTeX XMLCite

On function spaces. (English) Zbl 1220.54006

Di Maio, Giuseppe (ed.) et al., Theory and applications of proximity, nearness and uniformity. Caserta: Dipartimento di Matematica, Seconda Università di Napoli; Rome: Aracne (ISBN 978-88-548-2857-5/hbk). Quaderni di Matematica 22, 89-100 (2009).
MSC:  54C35 54-02
PDFBibTeX XMLCite

Pseudosolution of linear functional equations. Parameters estimation of linear functional relationships. (English) Zbl 1077.62052

Mathematics and its Applications (Springer) 576. New York, NY: Springer (ISBN 0-387-24505-7/hbk). ix, 238 p. (2005).
MSC:  62J05 62-02 65Q05 65R20 65-02 39B05 45A05 65C60
PDFBibTeX XMLCite

Core equivalence in economy for modal logic. (English) Zbl 1147.91353

Sloot, Peter M. A. (ed.) et al., Computational science – ICCS 2003. International conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003. Proceedings, Part II. Berlin: Springer (ISBN 3-540-40195-4/pbk). Lecture Notes in Computer Science 2658, 74-83 (2003).
MSC:  91B54 03B45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software