Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Arquitectura y diseño
Artes
Ciencias Sociales
Ciencias de la Información y Bibliotecas, Estudios del Libro
Ciencias de la vida
Ciencias de los materiales
Deporte y tiempo libre
Estudios clásicos y del Cercano Oriente antiguo
Estudios culturales
Estudios judíos
Farmacia
Filosofía
Física
Geociencias
Historia
Informática
Ingeniería
Interés general
Ley
Lingüística y semiótica
Literatura
Matemáticas
Medicina
Música
Negocios y Economía
Química
Química industrial
Teología y religión
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Carrito
Home
Revistas
Acta Universitatis Sapientiae, Informatica
Volumen 11 (2019): Edición 1 (August 2019)
Acceso abierto
Estimating the maximum rise in temperature according to climate models using abstract interpretation
Peter Z. Revesz
Peter Z. Revesz
y
Robert J. Woodward
Robert J. Woodward
| 21 ago 2019
Acta Universitatis Sapientiae, Informatica
Volumen 11 (2019): Edición 1 (August 2019)
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Publicado en línea:
21 ago 2019
Páginas:
5 - 23
Recibido:
05 dic 2018
DOI:
https://doi.org/10.2478/ausi-2019-0001
Palabras clave
constraint database
,
Datalog
,
climate model
,
invariant
,
MLPQ system
,
software verification
© 2019 Peter Z. Revesz et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Peter Z. Revesz
University of Nebraska–Lincoln, Department of Computer Science & Engineering
Lincoln
Robert J. Woodward
University of Nebraska–Lincoln, Department of Computer Science & Engineering
Lincoln