Fingerprint
Dive into the research topics of 'The finite model property for various fragments of intuitionistic linear logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The finite model property for various fragments of intuitionistic linear logic
Mitsuhiro Okada, Kazushige Terui
Research output: Contribution to journal › Article › peer-review
71
Citations
(Scopus)