Huella
Profundice en los temas de investigación de 'Ground confluence of order-sorted conditional specifications modulo axioms'. En conjunto forman una huella única.- Clasificar por
- Ponderación
- Alfabéticamente
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
11
Citas
(Scopus)