×

Found 63 Documents (Results 1–63)

100
MathJax

Confluence by critical pair analysis revisited. (English) Zbl 07178984

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 319-336 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Confluence Competition 2018. (English) Zbl 1462.68088

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 32, 5 p. (2018).
MSC:  68Q42 68V15
PDF BibTeX XML Cite
Full Text: DOI

Improving rewriting induction approach for proving ground confluence. (English) Zbl 1434.68215

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 7, 18 p. (2017).
MSC:  68Q42 68V15
PDF BibTeX XML Cite
Full Text: DOI

Ground confluence prover based on rewriting induction. (English) Zbl 1387.68205

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 33, 12 p. (2016).
MSC:  68T15 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Certifying confluence of almost orthogonal CTRSs via exact tree automata completion. (English) Zbl 1388.68155

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 29, 16 p. (2016).
MSC:  68Q42 68Q45 68T15
PDF BibTeX XML Cite
Full Text: DOI

Certified rule labeling. (English) Zbl 1366.68126

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 269-284 (2015).
MSC:  68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

Improving automatic confluence analysis of rewrite systems by redundant rules. (English) Zbl 1366.68125

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 257-268 (2015).
MSC:  68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

Conditional confluence (system description). (English) Zbl 1416.68181

Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 456-465 (2014).
MSC:  68T15 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Disproving confluence of term rewriting systems by interpretation and ordering. (English) Zbl 1398.68268

Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 311-326 (2013).
MSC:  68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

Confluence by decreasing diagrams – formalized. (English) Zbl 1356.68207

van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 352-367 (2013).
MSC:  68T15 68Q42
PDF BibTeX XML Cite
Full Text: DOI arXiv

Formalizing Knuth-Bendix orders and Knuth-Bendix completion. (English) Zbl 1356.68201

van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 287-302 (2013).
MSC:  68T15 03B35 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Proof orders for decreasing diagrams. (English) Zbl 1356.03054

van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 174-189 (2013).
MSC:  03B35 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

CSI – a confluence tool. (English) Zbl 1341.68199

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, 499-505 (2011).
MSC:  68T15 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Mothers of pipelines. (English) Zbl 1277.68137

Cook, B. (ed.) et al., Combined proceedings of the fourth workshop on pragmatics of decision procedures in automated reasoning (PDPAR 2006) and the first international workshop on probabilistic automata and logics (PaUL 2006), Seattle, WA, USA, August 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 8, 7-22 (2007).
MSC:  68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI

A note on rewriting proofs and Fibonacci numbers. (English) Zbl 1133.05006

Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 284-292 (2007).
MSC:  05A17 05A20 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

The confluence problem for flat TRSs. (English) Zbl 1156.68433

Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20–22, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39728-1/pbk). Lecture Notes in Computer Science 4120. Lecture Notes in Artificial Intelligence, 68-81 (2006).
MSC:  68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification