References in zbMATH (referenced in 21 articles , 1 standard article )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Durán, Francisco; Meseguer, José; Rocha, Camilo: Ground confluence of order-sorted conditional specifications modulo axioms (2020)
  2. Ishizuki, Sayaka; Oyamaguchi, Michio; Sakai, Masahiko: Conditions for confluence of innermost terminating term rewriting systems (2019)
  3. Felgenhauer, Bertram: Deciding confluence and normal form properties of ground term rewrite systems efficiently (2018)
  4. Hirokawa, Nao; Nagele, Julian; Middeldorp, Aart: Cops and CoCoWeb: infrastructure for confluence tools (2018)
  5. Felgenhauer, Bertram; Thiemann, René: Reachability, confluence, and termination analysis with state-compatible automata (2017)
  6. Nagele, Julian; Felgenhauer, Bertram; Middeldorp, Aart: CSI: new evidence - a progress report (2017)
  7. Nagele, Julian; Felgenhauer, Bertram; Zankl, Harald: Certifying confluence proofs via relative termination and rule labeling (2017)
  8. Sternagel, Christian; Sternagel, Thomas: Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems (2017)
  9. Aoto, Takahito; Kikuchi, Kentaro: Nominal confluence tool (2016)
  10. Aoto, Takahito; Toyama, Yoshihito: Ground confluence prover based on rewriting induction (2016)
  11. Nagele, Julian; Middeldorp, Aart: Certification of classical confluence results for left-linear term rewrite systems (2016)
  12. Felgenhauer, Bertram; Middeldorp, Aart; Zankl, Harald; Van Oostrom, Vincent: Layer systems for proving confluence (2015)
  13. Nagele, Julian; Felgenhauer, Bertram; Middeldorp, Aart: Improving automatic confluence analysis of rewrite systems by redundant rules (2015)
  14. Nagele, Julian; Zankl, Harald: Certified rule labeling (2015)
  15. Shintani, Kiraku; Hirokawa, Nao: CoLL: a confluence tool for left-linear term rewrite systems (2015)
  16. Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart: Labelings for decreasing diagrams (2015)
  17. Sternagel, Thomas; Middeldorp, Aart: Conditional confluence (system description) (2014)
  18. Aoto, Takahito: Disproving confluence of term rewriting systems by interpretation and ordering (2013)
  19. Endrullis, Jörg; Klop, Jan Willem: De Bruijn’s weak diamond property revisited (2013)
  20. Klein, Dominik; Hirokawa, Nao: Confluence of non-left-linear TRSs via relative termination (2012)

1 2 next