×

Found 2,349 Documents (Results 1–100)

Solving modal logic problems by translation to higher-order logic. (English) Zbl 1528.68393

Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 25-43 (2023).
MSC:  68V15 03B45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. (English) Zbl 07768593

Lecture Notes in Computer Science 14278. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-43512-6/pbk; 978-3-031-43513-3/ebook). xxv, 482 p. (2023).
MSC:  68-06 68V15 00B25
PDFBibTeX XMLCite
Full Text: DOI

Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. (English) Zbl 07768439

Lecture Notes in Computer Science 14132. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-38498-1/pbk; 978-3-031-38499-8/ebook). xxv, 592 p., open access (2023).
PDFBibTeX XMLCite
Full Text: DOI

symQV: automated symbolic verification of quantum programs. (English) Zbl 1529.68152

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 181-198 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Railway scheduling using Boolean satisfiability modulo simulations. (English) Zbl 1529.90042

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 56-73 (2023).
MSC:  90B35 68T20 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Tests and proofs. 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023. Proceedings. (English) Zbl 1525.68002

Lecture Notes in Computer Science 14066. Cham: Springer (ISBN 978-3-031-38827-9/pbk; 978-3-031-38828-6/ebook). xxii, 187 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

14th international conference on interactive theorem proving, ITP 2023, Białystok, Poland, July 31 – August 4, 2023. (English) Zbl 1517.68026

LIPIcs – Leibniz International Proceedings in Informatics 268. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-284-6). x, 38 articles, not consecutively paged, electronic only, open access (2023).
MSC:  68-06 68V15 00B25
PDFBibTeX XMLCite
Full Text: DOI Link

The logical approach to automatic sequences. Exploring combinatorics on words with Walnut. (English) Zbl 07565707

London Mathematical Society Lecture Note Series 482. Cambridge: Cambridge University Press (ISBN 978-1-108-74524-6/pbk; 978-1-108-77526-7/ebook). xv, 358 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Parameterized recursive refinement types for automated program verification. (English) Zbl 1524.68100

Singh, Gagandeep (ed.) et al., Static analysis. 29th international symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13790, 397-421 (2022).
MSC:  68N30 68Q60 68V15
PDFBibTeX XMLCite
Full Text: DOI

Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test. (English) Zbl 1522.68716

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 137-153 (2022).
MSC:  68V15 55M25 90C30
PDFBibTeX XMLCite
Full Text: DOI Link

Automatic complexity analysis of integer programs via triangular weakly non-linear loops. (English) Zbl 07628219

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 734-754 (2022).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Implicit definitions with differential equations for KeYmaera X (system description). (English) Zbl 07628218

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 723-733 (2022).
MSC:  68V15
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