Veanes, Margus; Bjørner, Nikolaj Symbolic tree automata. (English) Zbl 1317.68103 Inf. Process. Lett. 115, No. 3, 418-424 (2015). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Veanes} and \textit{N. Bjørner}, Inf. Process. Lett. 115, No. 3, 418--424 (2015; Zbl 1317.68103) Full Text: DOI
Echenim, Mnacho; Peltier, Nicolas Modular instantiation schemes. (English) Zbl 1260.68370 Inf. Process. Lett. 111, No. 20, 989-993 (2011). MSC: 68T15 PDFBibTeX XMLCite \textit{M. Echenim} and \textit{N. Peltier}, Inf. Process. Lett. 111, No. 20, 989--993 (2011; Zbl 1260.68370) Full Text: DOI HAL
Müller-Olm, Markus; Seidl, Helmut Computing polynomial program invariants. (English) Zbl 1177.68048 Inf. Process. Lett. 91, No. 5, 233-244 (2004). MSC: 68N30 PDFBibTeX XMLCite \textit{M. Müller-Olm} and \textit{H. Seidl}, Inf. Process. Lett. 91, No. 5, 233--244 (2004; Zbl 1177.68048) Full Text: DOI