JavaScript is disabled for your browser. Some features of this site may not work without it.
RAUL ALBERTO FERVARI
PRODUCCION CIENTÍFICO TECNOLÓGICA
Mostrando ítems 1-14 de 14
-
(Open Publishing Association, 2019) -
(Academic Press Inc Elsevier Science, 2017-11) -
Artículo Axiomatizing hybrid xpath with data(Technische Universität Braunschweig, 2021-07) -
Artículo Bisimulations for Knowing How Logics(Cambridge University Press, 2021-03-22) -
Artículo Copy and remove as dynamic operators(Taylor & Francis, 2021-08) -
Artículo Data-Aware Hybrid Tableaux(Technische Universität Braunschweig, 2025-12) -
(Oxford University Press, 2021-04)
-
(Elsevier Science, 2019-11)
-
Artículo Relation-changing modal operators(Oxford University Press, 2015-05) -
(Oxford University Press, 2018-10) -
Artículo Swap logic(Oxford University Press, 2014-03) -
Artículo The modal logic of copy and remove(Academic Press Inc Elsevier Science, 2017-08) -
Artículo The power of modal separation logics(Oxford University Press, 2019-12)
-
(Elsevier, 2021-04)
Mostrando ítems 1-14 de 14