Identifícate
Grupos
Investigadores/as
Resultados
Normal higher-order termination
Jouannaud, J.-P.
Rubio, A.
Revista
:
ACM Transactions on Computational Logic
ISSN
:
1557-945X
,
1529-3785
Ano de publicación
:
2015
Volume
:
16
Número
:
2
Tipo
:
Artigo
Exportar
Exportar
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Exportar
×
Non se pode exportar o documento porque pertence a outro portal.
DOI:
10.1145/2699913
GOOGLE SCHOLAR
Fonte de datos: Scopus
Contactar
Aviso legal
Axuda
translate
gl
arrow_drop_down
translate
gl
arrow_drop_down
es
ca
eu
en
fr
de