Epsilon Substitution for $ID_1$ via Cut-Elimination [PDF]
Henry Towsner
openalex +1 more source
Re-emergence of malaria in Karen State, Myanmar: has the battle of Burma been lost? [PDF]
Pateekhum C +12 more
europepmc +1 more source
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic
Matthias Baaz, Christian G. Fermüller
openalex +2 more sources
Evaluation of the Use of a Medium Cut-Off Dialyser Theranova 400 for Severe Metaldehyde Intoxication in Three Dogs: Dialytic Clearance and Therapeutic Response. [PDF]
Rodary M +5 more
europepmc +1 more source
Generating facets for the cut polytope of a graph by triangular elimination [PDF]
David Avis, Hiroshi Imai, Tsuyoshi Ito
openalex +1 more source
Microhomology-mediated end joining is the predominant form of DNA repair in the mosquito Aedes aegypti with implications for gene editing, gene drive, and transgene removal. [PDF]
Romanowski JS, Myles KM, Adelman ZN.
europepmc +1 more source
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We\n Can Explore Them [PDF]
Ekaterina Komendantskaya +2 more
openalex +1 more source
Simple cut elimination proof for hybrid logic
Andrzej Indrzejczak
semanticscholar +1 more source
From Radiocopper to Cold Copper: Mechanistic Modeling and Simulation to Define Clinical Response Criteria and Biomarkers for VTX-801 in Wilson Disease. [PDF]
Lindauer A +3 more
europepmc +1 more source

