Decidability of the Confluence of Ground Term Rewriting Systems

,2007, 引用: 0

Rewriting Techniques and Applications,1989, 引用: 23

TOSCA'11 Proceedings of the 2011 international conference on Theory of Security and Applications,2011, 引用: 1

,2011, 引用: 0

Rewriting Techniques and Applications,1989, 引用: 2

Theory of Computing Systems,2017, 引用: 1

rewriting techniques and applications,1991, 引用: 6

conference on automated deduction,1988, 引用: 24

Algebraic Techniques#R##N#Resolution of Equations in Algebraic Structures,1989, 引用: 50

Rewriting Techniques and Applications,1989, 引用: 21