External Links

    Journal: Inf. Comput.

    Volume 182, Issue 1

    1 -- 13Dennis Cheung, Felipe Cucker. Learning from rounded-off data
    14 -- 52Giorgio Levi, Fausto Spoto. Pair-independence and freeness analysis through linear refinement
    53 -- 71Felix Joachimski. Syntactic analysis of eta-expansions in Pure Type Systems
    runs on