×

Found 307 Documents (Results 1–100)

100
MathJax

On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs. (English) Zbl 07570125

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 262-281 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

AC simplifications and closure redundancies in the superposition calculus. (English) Zbl 07532517

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 200-217 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Towards finding longer proofs. (English) Zbl 07532515

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 167-186 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

A proof method for local sufficient completeness of term rewriting systems. (English) Zbl 07500655

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 386-404 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Non-disjoint combined unification and closure by equational paramodulation. (English) Zbl 07497914

Konev, Boris (ed.) et al., Frontiers of combining systems. 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12941, 25-42 (2021).
MSC:  68Txx
PDF BibTeX XML Cite
Full Text: DOI Link

Terminating non-disjoint combined unification. (English) Zbl 07496644

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 113-130 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI Link

Pattern eliminating transformations. (English) Zbl 07496642

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 74-92 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI Link

Runtime complexity analysis of logically constrained rewriting. (English) Zbl 07496640

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 37-55 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

An automated approach to the Collatz conjecture. (English) Zbl 07437095

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 468-484 (2021).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Parallel coherent graph transformations. (English) Zbl 07415134

Roggenbach, Markus (ed.), Recent trends in algebraic development techniques. 25th international workshop, WADT 2020, virtual event, April 29, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12669, 75-97 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI Link

Certifying proofs in the first-order theory of rewriting. (English) Zbl 1474.68166

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 127-144 (2021).
PDF BibTeX XML Cite
Full Text: DOI

The spirit of node replication. (English) Zbl 07410433

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 344-364 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Deciding the word problem for ground identities with commutative and extensional symbols. (English) Zbl 07614512

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, 163-180 (2020).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Formalized proofs of the infinity and normal form predicates in the first-order theory of rewriting. (English) Zbl 1483.68149

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 178-194 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Model checking strategy-controlled rewriting systems (System Description). (English) Zbl 07559300

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 34, 18 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Extending maximal completion (Invited Talk). (English) Zbl 07559269

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 3, 15 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Finding the transitive closure of functional dependencies using strategic port graph rewriting. (English) Zbl 07450014

Fernández, Maribel (ed.) et al., Proceedings of the tenth international workshop on computing with terms and graphs, TERMGRAPH 2018, Oxford, UK, July 7, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 288, 50-62 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: arXiv Link

Certified equational reasoning via ordered completion. (English) Zbl 07178995

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, 508-525 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI

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

Model completeness, covers and superposition. (English) Zbl 07178974

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, 142-160 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI

Unification modulo lists with reverse relation with certain word equations. (English) Zbl 07178966

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, 1-17 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI HAL

Characterizing compatible view updates in syntactic bidirectionalization. (English) Zbl 07118469

Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11497, 67-83 (2019).
MSC:  68Q05 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Loop detection by logically constrained term rewriting. (English) Zbl 1403.68107

Piskac, Ruzica (ed.) et al., Verified software. Theories, tools, and experiments. 10th international conference, VSTTE 2018, Oxford, UK, July 18–19, 2018. Revised selected papers. Cham: Springer (ISBN 978-3-030-03591-4/pbk; 978-3-030-03592-1/ebook). Lecture Notes in Computer Science 11294, 309-321 (2018).
MSC:  68Q42 68N30
PDF BibTeX XML Cite
Full Text: DOI

Congruence closure with free variables. (English) Zbl 1452.68113

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 214-230 (2017).
MSC:  68Q60 03B70
PDF BibTeX XML Cite
Full Text: DOI Link

Infinite runs in abstract completion. (English) Zbl 1441.68113

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 19, 16 p. (2017).
MSC:  68Q42 68V15
PDF BibTeX XML Cite
Full Text: DOI

Confluence of an extension of combinatory logic by Boolean constants. (English) Zbl 1434.03049

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 14, 16 p. (2017).
MSC:  03B40 68Q42
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software