The finite model property for various fragments of intuitionistic linear logic

Mitsuhiro Okada, Kazushige Terui

研究成果: Article査読

71 被引用数 (Scopus)

フィンガープリント

「The finite model property for various fragments of intuitionistic linear logic」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Arts & Humanities