Autor
Cargando información...
FuenteLecture notes in computer science | Cuartil año de publicaciónNo disponible | VolumenNo disponible |
IssueNo disponible | Páginas115 - 135 | pISSNNo disponible |
ISSN1611-3349 | Perfil OpenAlexhttps://openalex.org/S106296714 | |
| Scienti ID | 0000287741-109 | Minciencias ID | CAP_LIB-0000287741-109 | Scholar URL | https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3AKlpvN1YBzH0J%3Ascholar.google.com&btnG= |
|---|---|---|---|---|---|
| Pdf URL | http://subsell.logic.at/theorem-maude/paper.pdf | Scholar citations URL | https://scholar.google.com/scholar?cites=9064621619798825514&as_sdt=2005&sciodt=0,5&hl=en | Doi URL | https://doi.org/10.1007/978-3-319-99840-4_7 |
| Openalex URL | https://openalex.org/W2891971883 | ||||
