An application of a theorem prover

Autores
Campos, M.; Lins, R.
Año de publicación
1997
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
This work uses the speci cation of the type interval in OBJ to prove some properties of the interval probability OBJ is a functional language and also includes mechanisms for theorem proving
Eje: Conferencia latinoamericana de programación funcional
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Applications
Application
Theorem Prover
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/24122
Acceder
id SEDICI_9eb452c4bd170bde029b46f3d5f07070
oai_identifier_str oai:sedici.unlp.edu.ar:10915/24122
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling An application of a theorem proverCampos, M.Lins, R.Ciencias InformáticasApplicationsApplicationTheorem ProverThis work uses the speci cation of the type interval in OBJ to prove some properties of the interval probability OBJ is a functional language and also includes mechanisms for theorem provingEje: Conferencia latinoamericana de programación funcionalRed de Universidades con Carreras en Informática (RedUNCI)1997info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/24122enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-10T11:59:06Zoai:sedici.unlp.edu.ar:10915/24122Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-10 11:59:06.88SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv An application of a theorem prover
title An application of a theorem prover
spellingShingle An application of a theorem prover
Campos, M.
Ciencias Informáticas
Applications
Application
Theorem Prover
title_short An application of a theorem prover
title_full An application of a theorem prover
title_fullStr An application of a theorem prover
title_full_unstemmed An application of a theorem prover
title_sort An application of a theorem prover
dc.creator.none.fl_str_mv Campos, M.
Lins, R.
author Campos, M.
author_facet Campos, M.
Lins, R.
author_role author
author2 Lins, R.
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Applications
Application
Theorem Prover
topic Ciencias Informáticas
Applications
Application
Theorem Prover
dc.description.none.fl_txt_mv This work uses the speci cation of the type interval in OBJ to prove some properties of the interval probability OBJ is a functional language and also includes mechanisms for theorem proving
Eje: Conferencia latinoamericana de programación funcional
Red de Universidades con Carreras en Informática (RedUNCI)
description This work uses the speci cation of the type interval in OBJ to prove some properties of the interval probability OBJ is a functional language and also includes mechanisms for theorem proving
publishDate 1997
dc.date.none.fl_str_mv 1997
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/24122
url http://sedici.unlp.edu.ar/handle/10915/24122
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842903790125056000
score 12.993085

Publicaciones similares