Modal satisfiability via SMT solving

Mostrar todas las versiones(2)

Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.

Guardado en:
Detalles Bibliográficos
Autores principales: Areces, Carlos Eduardo, Fontaine, Pascal, Merz, Stephan
Formato: submittedVersion bookPart
Lenguaje:Inglés
Publicado: 2021
Materias:
Lógica modal
SMT
Acceso en línea:http://hdl.handle.net/11086/22112
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
Descripción
Sumario:Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.

Ejemplares similares