Sound lemma generation for proving inductive validity of equations

Takahito Aoto

研究成果: Conference contribution

10 引用 (Scopus)

フィンガープリント Sound lemma generation for proving inductive validity of equations' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

Engineering & Materials Science