Volume: Vol-3909 IT&I 2024 | Year: 2024

Paper: « Paper_36 | Paper_37 | Paper_38 »

On the Cofinality Property in The Context of the Hierarchy of Decreasing Church-Rosser Abstract Rewriting Systems

• Ievgen Ivanov dblp

466-479 PDF