Copy For Citation
ONAY Z. R., RAMASLI GÜRSOY T., ASLAN A. T., ŞİŞMANLAR EYÜBOĞLU T., ÇAKIR E., ÇOBANOĞLU F. N., ...More
43rd European Cystic Fibrosis Conference, France, 24 - 25 September 2020, vol.19, pp.72
-
Publication Type:
Conference Paper / Summary Text
-
Volume:
19
-
Doi Number:
10.1016/s1569-1993(20)30396-9
-
Country:
France
-
Page Numbers:
pp.72
-
Ondokuz Mayıs University Affiliated:
Yes
Abstract
Proof systems for the Relativized Propositional Calculus are defined and
compared.