CARLOS EDUARDO ARECES

Datos académicos

Lugar de trabajo	UNIVERSIDAD NACIONAL DE CORDOBA / FACULTAD DE MATEMATICA, ASTRONOMIA Y FISICA / SECCION CS.DE LA COMPUTACION
Título	Doctor en Informatica
Grado	Universitario de posgrado/doctorado
Campo de aplicación	Ciencia y cultura-Ciencia y tecnologia
Especialidad	Logica, Complejidad, Demostracion Automatica, Verificacion

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-15 de 15

Evento An Algebraic Approach for Action Based Default Reasoning

Castro, Pablo Francisco ; Cassano, Valentin ; Fervari, Raul Alberto ; Areces, Carlos Eduardo (Open Publishing Association, 2019)
Artículo Axiomatizing hybrid xpath with data

Areces, Carlos Eduardo ; Fervari, Raul Alberto (Technische Universität Braunschweig, 2021-07)
Artículo Characterization, definability and separation via saturated models

Areces, Carlos Eduardo ; Carreiro, Facundo Matias ; Figueira, Santiago (Elsevier Science, 2014-06)
Capítulo de Libro Ciencias de la Computación

Título del libro: Estado y perspectivas de las ciencias exactas, físicas y naturales en la Argentina

Areces, Carlos Eduardo ; Aguirre, Nazareno Matias ; Becher, Veronica Andrea ; Benotti, Luciana ; Chesñevar, Carlos Iván ; Uchitel, Sebastian - Otros responsables: Valles, Enrique Marcelo - (Academia Nacional de Ciencias; Academia Nacional de Ciencias Exactas, Físicas y Naturales, 2015)
Artículo Completeness in Hybrid Type Theory

Areces, Carlos Eduardo ; Blackburn, Patrick; Huertas, Antonia; Manzano, Maria (Springer, 2014-05)
Artículo Copy and remove as dynamic operators

Areces, Carlos Eduardo ; Van Ditmarsch, Hans; Fervari, Raul Alberto ; Maubert, Bastien; Schwarzentruber, François (Taylor & Francis, 2021-08)
Artículo Model Theory of XPath on Data Trees: Part I: Bisimulation and Characterization

Figueira, Diego; Figueira, Santiago ; Areces, Carlos Eduardo (AI Access Foundation, 2015-07)
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)
Artículo Symmetric Blocking

Areces, Carlos Eduardo ; Orbe, Alejandro Ezequiel (Elsevier Science, 2015-11)
Artículo The complexity of definability by open first-order formulas

Areces, Carlos Eduardo ; Campercholi, Miguel Alejandro Carlos ; Penazzi, Daniel Eduardo; Ventura, Pablo Gabriel (Oxford University Press, 2020-12)
Artículo The expressive power of memory logics

Areces, Carlos Eduardo ; Figueira, Diego; Figueira, Santiago ; Mera, Sergio Fernando (Cambridge University Press, 2011-06)
Artículo The lattice of congruences of a finite line frame

Areces, Carlos Eduardo ; Campercholi, Miguel Alejandro Carlos ; Penazzi, Daniel Eduardo; Sanchez Terraf, Pedro Octavio (Oxford University Press, 2017-08)
Artículo The modal logic of copy and remove

Areces, Carlos Eduardo ; van Ditmarsch, Hans; Fervari, Raul Alberto ; Schwarzentruber, Francois (Academic Press Inc Elsevier Science, 2017-08)

Mostrando ítems 1-15 de 15