Results 241 to 250 of about 28,623 (311)

Drug-Coated Balloons in Side Branch Treatment in True Coronary Bifurcation Lesions: A Meta-Analysis and Systematic Review. [PDF]

J Clin Med
Stainer O, Milosavljevic M, Liou K.
europepmc   +1 more source

Cut-elimination and proof-search for bi-intutionistic logic using nested sequents

, 2008
Rajeev Goré, Linda Postniece, Alwen Tiu
openalex   +1 more source

Multifractal Structure and Scale Invariance in Timeless Counterspace A TCGS-SEQUENTION Synthesis with Geological, Palynological, and Galactic Empirical Anchors

Henry Arellano-Peña
openalex   +1 more source

Acquired Hemophilia A During Prasugrel Therapy After Recurrent Acute Coronary Syndrome. [PDF]

JACC Case Rep
Yao S, Fujisawa N, Otsuka K, Nagasaki J, Kawase T, Takahashi Y, Fukuda D.   +6 more
europepmc   +1 more source

Systems of logic for necessity (Sequent Calculi and Proof Theory)

, 2007
Izumi Takeuti
openalex   +1 more source

One-Year Clinical Outcomes of Stentless Percutaneous Coronary Intervention Using Drug-Coated Balloon for True Bifurcation Lesions. [PDF]

J Soc Cardiovasc Angiogr Interv
Tanaka Y, Nozaki Y, Kitani S, Kato Y, Tokunaga M, Inoue N, Yamaki M, Igarashi Y.   +7 more
europepmc   +1 more source

A sequent calculus with labels for Public Announcement Logic

, 2014
Philippe Balbiani, Vincent Demange, Didier Galmiche   +2 more
openalex   +1 more source

Long-Term Efficacy of Drug-Coated Balloon Angioplasty vs. Drug-Eluting Stent for De Novo Large-Vessel Coronary Arteries. [PDF]

Circ Rep
Masuda M, Yamamoto H, Nakano S, Takahashi N, Miyata T, Inoue T, Takaya T.   +6 more
europepmc   +1 more source

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics

Oksana Shkilniak, S.S. Shkilniak
openalex   +2 more sources

Efficient translation of sequent calculus proofs into natural deduction proofs

, 2018
Gabriel Ebner, Matthias Schlaipfer
openalex   +1 more source