Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Uchiyama Keita

  School Of Engineering Nagoya University

• Nishida Naoki

  Graduate School Of Information Science Nagoya University

• Sakai Masahiro

  Graduate School Of Information Science Nagoya University

• 酒井 正彦

  Graduate School of Information Science, Nagoya University

• 西田 直樹

  Graduate School of Information Science, Nagoya University

• 内山 敬太

  School of Engineering, Nagoya University

関連論文

• 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)
• Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems
• Confluence of Length Preserving String Rewriting Systems is Undecidable
• Analysis of Promoter Activity of 5'-Upstream Regions of Zebrafish Olfactory Receptor Genes
• 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

スポンサーリンク