Huella
Profundice en los temas de investigación de 'A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems'. En conjunto forman una huella única.- Clasificar por
- Ponderación
- Alfabéticamente
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
Carlos Olarte, Elaine Pimentel, Camilo Rocha
Producción: Contribución a una revista › Artículo › revisión exhaustiva
1
Cita
(Scopus)