Results 151 to 160 of about 3,345 (227)

A survey of proof nets and matrices for substructural logics [PDF]

, 2012
Sean A. Fulop
openalex   +1 more source

Adapting CHMTRN (CHeMistry TRaNslator) for a New Use. [PDF]

J Chem Inf Model, 2020
Judson PN, Ihlenfeldt WD, Patel H, Delannée V, Tarasova N, Nicklaus MC.   +5 more
europepmc   +1 more source

Nonelementary computational complexity of substructural logic (本文) [PDF]

タナカ, ヒロミ, Tanaka, Hiromi, 田中, 大海   +2 more
openalex  

Formalized Meta-Theory of Sequent Calculi for Substructural Logics

, 2017
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis   +2 more
openalex   +1 more source

A Canonical Model Construction for Substructural Logics

, 2020
Hajime Ishihara
openalex   +2 more sources

Substructural logics with mingle

Substructural logics with mingle
リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） 本文は図書館に配架されています。 / This material is stored in the JAIST library.
openaire  

Density Elimination for Semilinear Substructural Logics

, 2019
SanMin Wang
openalex   +2 more sources