Found 14 Documents (Results 1–14)
Compositional confluence criteria. (English) Zbl 07814914
MSC:
68Q42
Weighted path orders are semantic path orders. (English) Zbl 1540.68113
Sattler, Uli (ed.) et al., Frontiers of combining systems. 14th international symposium, Frocos 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14279, 63-80 (2023).
MSC:
68Q42
Left-linear completion with AC axioms. (English) Zbl 07838499
Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 401-418 (2023).
Proving almost-sure innermost termination of probabilistic term rewriting using dependency pairs. (English) Zbl 07838496
Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 344-364 (2023).
Term orderings for non-reachability of (conditional) rewriting. (English) Zbl 07628191
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, 248-267 (2022).
MSC:
68V15
Confluence by critical pair analysis revisited. (English) Zbl 1535.68122
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:
68Q42
On probabilistic term rewriting. (English) Zbl 1507.68140
Gallagher, John P. (ed.) et al., Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10818, 132-148 (2018).
MSC:
68Q42
Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems. (English) Zbl 1494.68306
de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10395, 413-431 (2017).
Relative termination via dependency pairs. (English) Zbl 1410.68190
MSC:
68Q42
68T15
AC dependency pairs revisited. (English) Zbl 1369.68250
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 8, 16 p. (2016).
MSC:
68Q42
68T15
Reducing relative termination to dependency pair problems. (English) Zbl 1465.68120
Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 163-178 (2015).
MSC:
68Q42
Nagoya termination tool. (English) Zbl 1416.68183
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, 466-475 (2014).
MSC:
68T15
68Q42
Filter Results by …
Document Type
- Journal Articles (4)
- Collection Articles (10)
all
top 5
Author
- Yamada, Akihisa (7)
- Hirokawa, Nao (4)
- Iborra, José (2)
- Kusakari, Keiichirou (2)
- Nishida, Naoki (2)
- Sternagel, Christian (2)
- Vidal, Germán (2)
- Avanzini, Martin (1)
- Dal Lago, Ugo (1)
- Giesl, Jürgen (1)
- Kassing, Jan-Christoph (1)
- Middeldorp, Aart (1)
- Nagele, Julian (1)
- Niederhauser, Johannes (1)
- Oyamaguchi, Michio (1)
- Payet, Étienne (1)
- Saito, Teppei (1)
- Sakabe, Toshiki (1)
- Shintani, Kiraku (1)
- Sternagel, Thomas (1)
- Thiemann, René (1)
- van Oostrom, Vincent (1)
Serial
all
top 3
Software
- Nagoya Termination Tool (14)
- NaTT (10)
- Tyrolean (10)
- AProVE (5)
- z3 (4)
- CeTA (3)
- GitHub (3)
- StarExec (3)
- CSI (2)
- CoCoWeb (2)
- CoLoR (2)
- Isabelle/HOL (2)
- MU-TERM (2)
- Matchbox (2)
- TPA (2)
- TPDB (2)
- CiME (1)
- CoLL (1)
- ConCon (1)
- Cops (1)
- Haskell (1)
- IsaFoR (1)
- Isabelle (1)
- KBCV (1)
- KoAT (1)
- MadMax (1)
- PMaude (1)
- Saigawa (1)
- Sledgehammer (1)
- Slothrop (1)
- Timbuk (1)
- Yices (1)
- mkbTT (1)