Navegar

Colección

Datos Estadísticas

Lista de

Journal of Logic and Algebraic Programming
1
2006
1
"Interpretability of first-order linear temporal logics in fork algebras" (2006) Frias, M.F.; Pombo, C.G.L. Journal of Logic and Algebraic Programming. 66(2):161-184