最近Maudeにはまっている。 項書き換えシステムなんですが、等式論理や、書換論理を取り込み なんかパーサーから実行からなんから全部出来るシステムにみえます。当面、ACPおよびACPを使ったProces Termの簡略化なんかをTRSで 書いてみるというのに使えるか…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。