Matemáticas y Computación
Fachbereich
University of Osnabrück
Osnabrück, AlemaniaPublikationen in Zusammenarbeit mit Forschern von University of Osnabrück (1)
2014
-
Exploiting parallelism in coalgebraic logic programming
Electronic Notes in Theoretical Computer Science, Vol. 303, pp. 121-148