Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation > 2009 > 22 > 1 > 81-111
Higher-Order and Symbolic Computation > 2009 > 22 > 1 > 3-66
Higher-Order and Symbolic Computation > 2009 > 22 > 1 > 67-80
Higher-Order and Symbolic Computation > 2009 > 22 > 2 > 191-195
Higher-Order and Symbolic Computation > 2009 > 22 > 2 > 115-144
Higher-Order and Symbolic Computation > 2009 > 22 > 2 > 145-154
Higher-Order and Symbolic Computation > 2009 > 22 > 2 > 155-189
Higher-Order and Symbolic Computation > 2009 > 22 > 3 > 275-291
Higher-Order and Symbolic Computation > 2009 > 22 > 3 > 233-273
Higher-Order and Symbolic Computation > 2009 > 22 > 3 > 199-231
Higher-Order and Symbolic Computation > 2009 > 22 > 4 > 299-303
Higher-Order and Symbolic Computation > 2009 > 22 > 4 > 333-359
Higher-Order and Symbolic Computation > 2009 > 22 > 4 > 295-298
Higher-Order and Symbolic Computation > 2009 > 22 > 4 > 305-312
Higher-Order and Symbolic Computation > 2009 > 22 > 4 > 315-329
Higher-Order and Symbolic Computation > 2009 > 22 > 4 > 331-332