Confluence of Length Preserving String Rewriting Systems is Undecidable

スポンサーリンク

概要

著者

関連論文

Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
Recognizability of Redexes for Higher-Order Rewrite Systems
Palladium-Copper/Hydrophobic Active Carbon as a Highly Active and Selective Catalyst for Hydrogenation of Nitrate in Water
Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs
Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems
Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques
Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
Formation and Exchange Processes of Alkanethiol Self-Assembled Monolayer on Au(111) Studied by Thermal Desorption Spectroscopy and Scanning Tunneling Microscopy
Thermal Desorption Spectroscopy of Alkanethiol Self-Assembled Monolayer on Au(111)
Dimerization Process in Alkanethiol Self-Assembled Monolayer on Au(111)
Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting
Characterizing Inductive Theorems by Extensional Initial Models in a Higher-Order Equational Logic
On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems
Confluence of Length Preserving String Rewriting Systems is Undecidable
Formation and Exchange Processes of Alkanethiol Self-Assembled Monolayer on Au(111) Studied by Thermal Desorption Spectroscopy and Scanning Tunneling Microscopy
Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems
Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems

もっと見る

スポンサーリンク