Marcelino, S. ; Caleiro, C.
Decidability of combined logics, and applications, Proc Days in Logic 08, Faro, Portugal, Vol. , pp. - , July, 2022.
Digital Object Identifier:
Download Full text PDF ( 103 KBs)
