UB Paderborn / Katalog / Suche / in CDI

European journal of cardiovascular nursing : journal of the Working Group on Cardiovascular Nursing of the European Society of Cardiology, 2021-03, Vol.20 (3), p.202–211

2021

Link zum Volltext

Verfügbarkeit prüfen

Loop-Check Specification for a Sequent Calculus of Temporal Logic

Studia logica, 2022-12, Vol.110 (6), p.1507-1536

2022

Link zum Volltext

Verfügbarkeit prüfen

Loop-Type Sequent Calculi for Temporal Logic

Journal of automated reasoning, 2020-12, Vol.64 (8), p.1663-1684

2020

Link zum Volltext

Verfügbarkeit prüfen

Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic

Logic journal of the IGPL, 2007-01, Vol.15 (1), p.1-19

Alonderis, Romas

2007

Link zum Volltext

Verfügbarkeit prüfen

A coding method for a sequent calculus of propositional logic

Lithuanian mathematical journal, 2008-06, Vol.48 (2), p.123-136

Alonderis, R.

2008

Link zum Volltext

Verfügbarkeit prüfen

Decidability of Logic of Correlated Knowledge

Informatica (Vilnius, Lithuania), 2014-01, Vol.25 (4), p.541-550

2014

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 28

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(25)
Mit Volltextzugriff
(26)

Publikationsform

Artikel
(27)
Tagungsberichte
(1)

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

P.1.k.032 Associations of obstructive sleep apnea with anxiety and depression symptoms in male patients with coronary artery disease

Recommendations for the management of patients with obstructive sleep apnoea and hypertension

Method for continuous nondisturbing monitoring of blood pressure by magnetoelastic skin curvature sensor and ECG

Medico-legal implications of sleep apnoea syndrome: Driving license regulations in Europe

Cardiovascular Oscillations of the Carotid Artery Assessed by Magnetoelastic Skin Curvature Sensor

P0004 Autonomic control in CAD patients with metabolic syndrome and sleep apnea

Prevalence and predictors of sleep apnea in patients with stable coronary artery disease: a cross-sectional study

Driving in Europe: the need of a common policy for drivers with obstructive sleep apnoea syndrome

Genetic aspects of hypertension and metabolic disease in the obstructive sleep apnoea–hypopnoea syndrome

Management of obstructive sleep apnea in Europe

Magnetoelastic skin curvature sensor for biomedical applications

Associations between subjective and objective fatigue and sleep characteristics in individuals with anxiety and mood disorders

Spectral coherent analysis of the relationship between pulse wave forms in the carotid artery and heart rate

A proof-search system for the logic of likelihood

A proof-search system for the logic of likelihood

Relationship between subjective and objective fatigue and sleep characteristics in individuals with anxiety and mood disorders: An exploratory study

A proof-search procedure for intuitionistic propositional logic

The association of sleep disordered breathing with left ventricular remodeling in CAD patients: a cross-sectional study

PRECONDITION OF SUSTAINABLE SECURITY: GENESIS OF THE LITHUANIAN AVIATION INSTITUTIONS

Undiagnosed sleep apnoea in cardiac rehabilitation: Age-dependent effect on diastolic function in coronary artery disease patients with preserved ejection fraction

Loop-Check Specification for a Sequent Calculus of Temporal Logic

Loop-Type Sequent Calculi for Temporal Logic

Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic

A coding method for a sequent calculus of propositional logic

Decidability of Logic of Correlated Knowledge

Suchergebnisse filtern