Uniqueness of normal proofs in {→,∧}-fragment of NJ
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 1994-08-11
著者
関連論文
- Uniqueness of normal proofs in {→,∧}-fragment of NJ
- 項書き換え系のパーシステント性の順序付きソートによる拡張
- Extending persistency of confluence with ordered sorts
- Top-down labelling and modularity of term rewriting systems
- Persistency of confluence
- Persistency of confluence
- Unique normal proof property for implicational minimal formulas in the intuitionistic logic