Lazy Narrowing Calculi : Strong Completeness, Eager Variable Elimination, Nondeterminism, Optimality (Languages, Algebra and Computer Systems)

スポンサーリンク

概要

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

著者

• 奥居 哲

  筑波大学電子情報工学部

• Middeldorp Aart

  Institute Of Computer Science University Of Innsbruck

• Middeldorp Aart

  Institute Of Information Sciences And Electronics University Of Tsukuba

関連論文

• Constraint-Based Multi-Completion Procedures for Term Rewriting Systems
• Lazy Narrowing Calculi : Strong Completeness, Eager Variable Elimination, Nondeterminism, Optimality (Languages, Algebra and Computer Systems)

スポンサーリンク