ニ階算術の諸公理AC, DC, CA, BIの関係 : Cut-Eliminationの初等的応用として(順序数の基本列と組合せ的原理の関係)
敏康 新井
openalex +1 more source
Medium cut-off membrane expanded hemodialysis for Lithium removal: a case report. [PDF]
Pérez Del Valle KM +7 more
europepmc +1 more source
Nested Sequents for Intuitionistic Multi-Modal Logics: Cut-Elimination and Lyndon Interpolation
Lyon, Tim S.
openalex +1 more source
Electron microscopy ascertains presence of centrioles in rectal epithelial cells of <i>C. elegans</i> L1 larvae. [PDF]
Croisier M +5 more
europepmc +1 more source
Evaluation of cerebrospinal fluid penetration of delafloxacin in a murine model. [PDF]
Lahouati M +4 more
europepmc +1 more source
Combined Medial Opening-Wedge High Tibial Osteotomy and Revision Medial Meniscus Posterior Root Repair Using a Transtibial Double-Tunnel Pullout Technique. [PDF]
Shoemaker EP +4 more
europepmc +1 more source
High precision numerical simulation of passenger cars based on numerical wind tunnel. [PDF]
Ma Y +10 more
europepmc +1 more source
The predictive factors of hypozincemia in patients with chronic liver disease. [PDF]
Ando S +4 more
europepmc +1 more source
Implementation of malaria control programmes during the COVID-19 pandemic in the Southern African Development Community Elimination 8 countries: A scoping review. [PDF]
Muzamhindo DN +2 more
europepmc +1 more source
Infodemic Source Detection with Information Flow: Foundations and Scalable Computation. [PDF]
Wang Z, Zhao C, Zhou Q, Tan CW, Chan C.
europepmc +1 more source

