Huella
Profundice en los temas de investigación de 'Proving ground confluence of equational specifications modulo axioms'. En conjunto forman una huella única.- Clasificar por
- Ponderación
- Alfabéticamente
Proving ground confluence of equational specifications modulo axioms
Francisco Durán, José Meseguer, Camilo Rocha
Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
1
Cita
(Scopus)