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
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: