المؤلفون: Ramos, Jaime, Rasga, João, Sernadas, Cristina^{Aff1, IDs11225024101322_cor3}

المصدر: Studia Logica: An International Journal for Symbolic Logic. :1-35

المؤلفون: Rasga, João, Sernadas, Cristina, Karafili, Erisa, Viganò, Luca

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security, Mathematics - Logic

URL الوصول: http://arxiv.org/abs/1907.06541

المؤلفون: RASGA, JOÃO, SERNADAS, CRISTINA, CARNIELLI, WALTER

المصدر: The Bulletin of Symbolic Logic, 2021 Mar 01. 27(1), 39-66.

URL الوصول: https://www.jstor.org/stable/27032793

المؤلفون: Rasga, João^Aff16, Sernadas, Cristina^Aff16

المساهمون: Béziau, Jean-Yves, Series Editor^Aff1, Andréka, Hajnal, Editorial Board Member^Aff2, Burgin, Mark, Editorial Board Member^Aff3, Diaconescu, Răzvan, Editorial Board Member^Aff4, Herzig, Andreas, Editorial Board Member^Aff5, Koslow, Arnold, Editorial Board Member^Aff6, Lee, Jui-Lin, Editorial Board Member^Aff7, Maksimova, Larissa, Editorial Board Member^Aff8, Malinowski, Grzegorz, Editorial Board Member^Aff9, Paoli, Francesco, Editorial Board Member^Aff10, Sarenac, Darko, Editorial Board Member^Aff11, Schröder-Heister, Peter, Editorial Board Member^Aff12, Vasyukov, Vladimir, Editorial Board Member^Aff13, Rasga, João^Aff14, Sernadas, Cristina^Aff15

المصدر: Decidability of Logical Theories and Their Combination. :1-34

المؤلفون: Rasga, João^Aff16, Sernadas, Cristina^Aff16

المساهمون: Béziau, Jean-Yves, Series Editor^Aff1, Andréka, Hajnal, Editorial Board Member^Aff2, Burgin, Mark, Editorial Board Member^Aff3, Diaconescu, Răzvan, Editorial Board Member^Aff4, Herzig, Andreas, Editorial Board Member^Aff5, Koslow, Arnold, Editorial Board Member^Aff6, Lee, Jui-Lin, Editorial Board Member^Aff7, Maksimova, Larissa, Editorial Board Member^Aff8, Malinowski, Grzegorz, Editorial Board Member^Aff9, Paoli, Francesco, Editorial Board Member^Aff10, Sarenac, Darko, Editorial Board Member^Aff11, Schröder-Heister, Peter, Editorial Board Member^Aff12, Vasyukov, Vladimir, Editorial Board Member^Aff13, Rasga, João^Aff14, Sernadas, Cristina^Aff15

المصدر: Decidability of Logical Theories and Their Combination. :143-159

المؤلفون: Rasga, João^Aff16, Sernadas, Cristina^Aff16

المساهمون: Béziau, Jean-Yves, Series Editor^Aff1, Andréka, Hajnal, Editorial Board Member^Aff2, Burgin, Mark, Editorial Board Member^Aff3, Diaconescu, Răzvan, Editorial Board Member^Aff4, Herzig, Andreas, Editorial Board Member^Aff5, Koslow, Arnold, Editorial Board Member^Aff6, Lee, Jui-Lin, Editorial Board Member^Aff7, Maksimova, Larissa, Editorial Board Member^Aff8, Malinowski, Grzegorz, Editorial Board Member^Aff9, Paoli, Francesco, Editorial Board Member^Aff10, Sarenac, Darko, Editorial Board Member^Aff11, Schröder-Heister, Peter, Editorial Board Member^Aff12, Vasyukov, Vladimir, Editorial Board Member^Aff13, Rasga, João^Aff14, Sernadas, Cristina^Aff15

المصدر: Decidability of Logical Theories and Their Combination. :101-141

المؤلفون: Rasga, João^Aff16, Sernadas, Cristina^Aff16

المساهمون: Béziau, Jean-Yves, Series Editor^Aff1, Andréka, Hajnal, Editorial Board Member^Aff2, Burgin, Mark, Editorial Board Member^Aff3, Diaconescu, Răzvan, Editorial Board Member^Aff4, Herzig, Andreas, Editorial Board Member^Aff5, Koslow, Arnold, Editorial Board Member^Aff6, Lee, Jui-Lin, Editorial Board Member^Aff7, Maksimova, Larissa, Editorial Board Member^Aff8, Malinowski, Grzegorz, Editorial Board Member^Aff9, Paoli, Francesco, Editorial Board Member^Aff10, Sarenac, Darko, Editorial Board Member^Aff11, Schröder-Heister, Peter, Editorial Board Member^Aff12, Vasyukov, Vladimir, Editorial Board Member^Aff13, Rasga, João^Aff14, Sernadas, Cristina^Aff15

المصدر: Decidability of Logical Theories and Their Combination. :75-99

المؤلفون: Rasga, João^Aff16, Sernadas, Cristina^Aff16

المساهمون: Béziau, Jean-Yves, Series Editor^Aff1, Andréka, Hajnal, Editorial Board Member^Aff2, Burgin, Mark, Editorial Board Member^Aff3, Diaconescu, Răzvan, Editorial Board Member^Aff4, Herzig, Andreas, Editorial Board Member^Aff5, Koslow, Arnold, Editorial Board Member^Aff6, Lee, Jui-Lin, Editorial Board Member^Aff7, Maksimova, Larissa, Editorial Board Member^Aff8, Malinowski, Grzegorz, Editorial Board Member^Aff9, Paoli, Francesco, Editorial Board Member^Aff10, Sarenac, Darko, Editorial Board Member^Aff11, Schröder-Heister, Peter, Editorial Board Member^Aff12, Vasyukov, Vladimir, Editorial Board Member^Aff13, Rasga, João^Aff14, Sernadas, Cristina^Aff15

المصدر: Decidability of Logical Theories and Their Combination. :35-73

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Ramos, Jaime, Rasga, João, Sernadas, Cristina, Viganò, Luca

المصدر: In Journal of Logical and Algebraic Methods in Programming June 2021 121