Atıf İçin Kopyala
RAMASLI GÜRSOY T., ONAY Z. R., ASLAN A. T., ŞİŞMANLAR EYÜBOĞLU T., ÇAKIR E., ÇOBANOĞLU F. N., ...Daha Fazla
ECFS 2020 Congress, 3 - 06 Haziran 2020, cilt.19, ss.64-65
Proof systems for the Relativized Propositional Calculus are defined and compared.