Modularity of Confluence in Order-Sorted Term Rewriting Systems

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人電子情報通信学会の論文
• 2002-04-01

著者

• Kawabe Yoshinobu

  Ntt Communication Science Laboratories Ntt Corporation

関連論文

• Termination of Order-Sorted Rewriting with Non-minimal Signatures
• Name Creation Implements Restriction in the π-Calculus
• On Backward-Style Anonymity Verification
• An Adversary Model for Simulation-Based Anonymity Proof
• Verifying Trace Equivalence of a Shared-Memory-Style Communication System(Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
• Modularity of Confluence in Order-Sorted Term Rewriting Systems

スポンサーリンク