How to say greedy in fork algebras
Because of their expressive power, binary relations are widely used in program specification and development within formal calculi. The existence of a finite equational axiomatization for algebras of binary relations with a fork operation guarantees that the heuristic power coming from binary relati...
Guardado en:
| Autores principales: | Baum, Gabriel Alfredo, Canal, Esteban de la, Frias, Marcelo F. |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23523 |
| Aporte de: |
Ejemplares similares
-
Construcción y optimización de programas en Fork Álgebras
por: Baum, Gabriel Alfredo, et al.
Publicado: (1998) -
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal
por: Medel, Ricardo, et al.
Publicado: (2001) -
Interpretability of first-order linear temporal logics in fork algebras
por: Frias, M.F., et al. -
Interpretability of first-order linear temporal logics in fork algebras
Publicado: (2006) -
Fork algebras as a sufficiently rich universal institution
por: López Pombo, Carlos Gustavo, et al.
Publicado: (2006)