Results 131 to 140 of about 578,113 (185)
A Randomized, Double-Blind, Placebo-Controlled, Multiple Ascending Dose Phase 1 Study of Firsekibart in Chinese Healthy Participants. [PDF]
Clin Pharmacol Drug DevYong X +6 more
europepmc +1 more source
Infodemic Source Detection with Information Flow: Foundations and Scalable Computation. [PDF]
Entropy (Basel)Wang Z, Zhao C, Zhou Q, Tan CW, Chan C.
europepmc +1 more source
Self-healing PVA/PVP micelle-hydrogel composite system for potential phenytoin repositioning in wound healing. [PDF]
J Biol EngMachado-Torres K +3 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Cut-Elimination: Syntax and Semantics
Studia Logica, 2014This 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
Mathematical Structures in Computer Science, 2017
We investigate cut elimination in multi-focused sequent calculi and the impact on the cut elimination proof of design choices in such calculi. The particular design we advocate is illustrated by a multi-focused calculus for full linear logic using an explicitly polarised syntax and incremental focus handling, for which we provide a syntactic cut ...
TAUS BROCK-NANNESTAD, NICOLAS GUENOT
openaire +1 more source
We investigate cut elimination in multi-focused sequent calculi and the impact on the cut elimination proof of design choices in such calculi. The particular design we advocate is illustrated by a multi-focused calculus for full linear logic using an explicitly polarised syntax and incremental focus handling, for which we provide a syntactic cut ...
TAUS BROCK-NANNESTAD, NICOLAS GUENOT
openaire +1 more source