×

Found 58 Documents (Results 1–58)

AC completion with termination tools. (English) Zbl 1341.68198

Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 492-498 (2011).
MSC:  68T15 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Automatic proofs of termination with elementary interpretations. (English) Zbl 1294.68058

Lucio, Paqui (ed.) et al., Proceedings of the 9th Spanish conference on programming and computer languages (PROLE 2009), San Sebastián, Spain, September 9–11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 258, No. 1, 41-61 (2009).
MSC:  68N30 68Q42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Termination modulo combinations of equational theories. (English) Zbl 1193.68145

Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 246-262 (2009).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Automatic termination. (English) Zbl 1242.68143

Treinen, Ralf (ed.), Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29–July 1, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02347-7/pbk). Lecture Notes in Computer Science 5595, 1-16 (2009).
MSC:  68Q42 68Q45 68T15
PDFBibTeX XMLCite
Full Text: DOI

Outermost ground termination. (English) Zbl 1272.68181

Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 188-207 (2004).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software