Toggle navigation
Repositorio Institucional
CONICET Digital
Inicio
EXPLORAR
AUTORES
DISCIPLINAS
COMUNIDADES
Estadísticas
Novedades
Noticias
Boletines
Ayuda
General
Datos de investigación
Acerca de
CONICET Digital
Equipo
Red Federal
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
GUILLAUME EMMANUEL HOFFMANN
Datos académicos
Lugar de trabajo
UNIVERSIDAD NACIONAL DE CORDOBA / FACULTAD DE MATEMATICA, ASTRONOMIA Y FISICA / SECCION CS.DE LA COMPUTACION
Título
Doctorado
Grado
Universitario de posgrado/doctorado
PRODUCCION CIENTÍFICO TECNOLÓGICA
Mostrando ítems 1-3 de 3
Artículo
Relation-changing modal operators
Areces, Carlos Eduardo
;
Fervari, Raul Alberto
;
Hoffmann, Guillaume Emmanuel
(
Oxford University Press
,
2015-05
)
Artículo
Satisfiability for relation-changing logics
Areces, Carlos Eduardo
;
Fervari, Raul Alberto
;
Hoffmann, Guillaume Emmanuel
;
Martel, Mauricio
(
Oxford University Press
,
2018-10
)
Artículo
Swap logic
Areces, Carlos Eduardo
;
Fervari, Raul Alberto
;
Hoffmann, Guillaume Emmanuel
(
Oxford University Press
,
2014-03
)
Mostrando ítems 1-3 de 3