Results 101 to 110 of about 2,682,535 (254)
Understanding the hardening syndrome of potato (Solanum tuberosum L.) tuber tissue to eliminate textural defects in fresh and fresh-peeled/cut products [PDF]
, 2002 Ilan Shomer +3 more
openalex +1 more source
Proof Theorie: Some applications of cut-elimination [PDF]
, 1977 Barwise, J., Schwichtenberg, Helmut
core +1 more source
Medicaid Cuts and Attempts to Eliminate Insurance Coverage for Diabetes Needs Threaten the Lives of Our Patients [PDF]
, 2003 Francine Kaufman
openalex +1 more source
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics
Bulletin of the Section of LogicA unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced.
Norihiro Kamide, Sara Negri
doaj +1 more source
CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI [PDF]
, 2020 Richard Zach
openalex +1 more source
The Cut-Elimination Theorem for Differential Nets with Promotion
, 2009 Michele Pagani
openalex +2 more sources
Topdown Cut-EliminationA direct cut-elimination procedure is proposed, which works for the sequent calculi not only of the classical and the intuitionistic logics but also of the standard modal logics. In the procedure, we do not introduce the inference rule mix but eliminate the usual rule cut directly.
openaire
BMC NephrologyBackground Rhabdomyolysis is frequently associated with acute kidney injury (AKI). Due to the nephrotoxic properties of myoglobin, its rapid removal is relevant.
Lorenz Weidhase +6 more
doaj +1 more source
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph [PDF]
, 1976 Alberto Martelli
openalex +1 more source