Ground confluence of order-sorted conditional specifications modulo axioms
- Francisco Durán
- , José Meseguer
- , Camilo Rocha
Producción: Contribución a una revista › Artículo › revisión exhaustiva
13
Citas
(Scopus)