Explore projects
-
Updated
-
Updated
-
A tool performing AC-completion for left-linear TRSs written in Haskell.
Updated -
-
empirical and asymptotic analysis of serial, parallel openmp and mpi program versions for various well known kernels on mach parallel computer in linz and vsc-3 parallel computer in Vienna
Updated -
-
-
-
Updated
-
-
Updated