Journal of symbolic computation

• 

  Año 2001, Vol. 31, Número 3

  • Unification of Concept Terms in Description Logics

    F. Baader, P. Narendran

    págs. 277-306

    

  • Counting and Grobner Bases

    K. Kalorkoti

    págs. 307-314

    

  • Sylvester-Habicht Sequences and Fast Cauchy Index Computation

    T. Lickteig

    págs. 315-342

    

  • Implicitization of a General Union of Parametric Varieties

    F. Orecchia

    págs. 343-356