Atıf İçin Kopyala
ROUSSEL E., CAMPI R., MINERVINI A., KRIEGMAIR M. C., HECK M., KLATTE T., ...Daha Fazla
EAU 20 Virtual, 17 - 26 Temmuz 2020, cilt.19, ss.1268-1269
Proof systems for the Relativized Propositional Calculus are defined and compared.