Results 121 to 130 of about 2,597 (173)

Formalized Meta-Theory of Sequent Calculi for Substructural Logics

open access: diamond, 2017
Kaustuv Chaudhuri   +2 more
openalex   +1 more source

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

open access: gold
タナカ, ヒロミ   +2 more
openalex  

Home - About - Disclaimer - Privacy