×

Found 4 Documents (Results 1–4)

Reasoning about vectors using an SMT theory of sequences. (English) Zbl 07628185

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, 125-143 (2022).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Politeness for the theory of algebraic datatypes. (English) Zbl 07614516

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 238-255 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software