Results 271 to 280 of about 580,256 (322)

Evaluating the effectiveness of mass drug administration on lymphatic filariasis transmission and assessment of post-mass drug administration surveillance in Nigeria's Federal Capital Territory. [PDF]

Infect Dis Poverty
Amanyi-Enegela JA, Kumbur J, Okunade F, Ashikeni D, Ishaya R, Sankar G, Adamani WE, Aderogba M, Makau-Barasa L, Emmanuel A, Ogundipe BE, Okoye C, Qureshi B.   +12 more
europepmc   +1 more source

Medicalization of female genital mutilation in Egypt: Trends, drivers, and prospects for elimination. [PDF]

PLOS Glob Public Health
Elnakib S, Sallab M, Hussein A, Marouf M, Elshiwy S, Elsherbini R, Daggula K, Prihartono I.   +7 more
europepmc   +1 more source

Electron microscopy ascertains presence of centrioles in rectal epithelial cells of <i>C. elegans</i> L1 larvae. [PDF]

MicroPubl Biol
Croisier M, Busso C, Kalbfuss N, Woglar A, Knott G, Gönczy P.   +5 more
europepmc   +1 more source

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic

Bahareh Afshari, Johannes Kloibhofer
openalex   +1 more source

Human papillomavirus (HPV) seroprevalence, cervical HPV prevalence and cervical lesions in systemic lupus erythematosus (SLE) and immunocompetent women. [PDF]

Lupus Sci Med
Infante V, Miyaji KT, Martini CCR, Picone C, G Pasoto S, Levi JE, Oliveira ACS, Lara A, Kann H, Eklund C, Dilner J, Castanheira CP, Tacla M, Sato P, Bonfá E, Mayaud P, Sartori AMC.   +16 more
europepmc   +1 more source

Cut-elimination for SBL

Cut-elimination for SBL
openaire  

Some of the next articles are maybe not open access.

Related searches:

Cut-Elimination for Quantified Conditional Logic

Journal of Philosophical Logic, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Christoph Benzmüller
openaire   +3 more sources

Cut-Elimination: Syntax and Semantics

Studia Logica, 2014
This article concerns the cut-elimination by resolution (CERES) method for first-order logic [\textit{M. Baaz} et al., Lect. Notes Comput. Sci. 3452, 481--495 (2005; Zbl 1108.03305)]. Compared with reductive cut-elimination (e.g.\ Gentzen-/Schütte-/Tait-style) which can be viewed as sequences of local reductions, CERES operates globally on LK-proofs ...
Baaz, M., Leitsch, A.
openaire   +1 more source