المؤلفون: Greati, Vitor, Marcelino, Sérgio, Rivieccio, Umberto

مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B22, F.4.1

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

المؤلفون: Järvinen, Jouni, Radeleczki, Sándor, Rivieccio, Umberto

المصدر: Journal of Applied Non-Classical Logics (2024)

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

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

المؤلفون: Greati, Vitor, Greco, Giuseppe, Marcelino, Sérgio, Palmigiano, Alessandra, Rivieccio, Umberto

مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B50, F.4.1

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

المؤلفون: Greati, Vitor, Marcelino, Sérgio, Rivieccio, Umberto

مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B22, F.4.1

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

المؤلفون: Celani, Sergio A., Rivieccio, Umberto^{Aff2, IDs11225023100652_cor2}

المصدر: Studia Logica: An International Journal for Symbolic Logic. 112(3):611-660

المؤلفون: Caleiro, Carlos, Marcelino, Sérgio, Rivieccio, Umberto

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

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

المؤلفون: Greati, Vitor, Marcelino, Sérgio, Marcos, João, Rivieccio, Umberto

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03G10 (Primary) 03C05, 03B50, 03B70, 03B53, 03B22, 03B35, 03C40 (Secondary), F.4.1

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

المؤلفون: Rivieccio, Umberto^Aff10, Figallo-Orellano, Aldo^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Metcalfe, George, editor^Aff7, Studer, Thomas, editor^Aff8, de Queiroz, Ruy, editor^Aff9

المصدر: Logic, Language, Information, and Computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings. 14672:175-192

المؤلفون: Caleiro, Carlos^Aff4, Marcelino, Sérgio^Aff4, Rivieccio, Umberto^Aff5

المساهمون: Hansson, Sven Ove, Editor-in-Chief^Aff1, Malinowski, Jacek, editor^Aff2, Palczewski, Rafał, editor^Aff3

المصدر: Janusz Czelakowski on Logical Consequence. 27:345-375

المؤلفون: Rivieccio, Umberto, Busaniche, Manuela^{Aff2, IDs11225023100889_cor2}

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