Congruence Classes with Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Congruence Classes with Logic
|
| Id. |
42088461 |
| Idioma |
inglés
|
| Titulo |
Congruence Classes with Logic |
| Localización |
http://citeseer.ist.psu.edu/652924.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We are improving equality reasoning in automatic theorem-provers, and congruence classes provide
an e#cient storage mechanism for terms, as well as the congruence closure decision procedure. We
describe the technical steps involved in integrating logic variables with congruence classes, and present
an algorithm that can be proved to find all matches between classes (modulo certain equalities). An
application of this algorithm makes possible a percolation algorithm for undirected rewriting in
minimal space; this is described and an implementation in hol98 is examined in some detail. 1
Keywords: Congruence Closure, Equality Reasoning
1
|
| Tipo |
pdf
|
| Palabras clave |
Congruence Classes with Logic
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www3.oup.co.uk/igpl/Volume_09/Issue_01/pdf/Hurd.pdf
[References] oai:CiteSeerPSU:366643
[References] oai:CiteSeerPSU:149909
[References] oai:CiteSeerPSU:70755
[References] oai:CiteSeerPSU:584745
[References] oai:CiteSeerPSU:526814
|
| Fecha de contribución |
31-mar-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
