×

Found 5,631 Documents (Results 1–100)

Solving constrained Horn clauses over algebraic data types. (English) Zbl 1529.68167

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 341-365 (2023).
MSC:  68Q60 03B70 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Field arithmetic. 4th corrected edition. (English) Zbl 1530.12003

Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge 11. Cham: Springer (ISBN 978-3-031-28019-1/hbk; 978-3-031-28022-1/pbk; 978-3-031-28020-7/ebook). xxxi, 827 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Computability models: algebraic, topological and geometric algorithms. (English) Zbl 1511.20193

Detinko, Alla (ed.) et al., Computational aspects of discrete subgroups of Lie groups. Virtual conference, Institute for Computational and Experimental Research in Mathematics, ICERM, Providence, Rhode Island, USA June 14–18, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 783, 57-68 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software