Identifiez-vous
Groupes
Chercheurs
Résultats
Normal higher-order termination
Jouannaud, J.-P.
Rubio, A.
Revue
:
ACM Transactions on Computational Logic
ISSN
:
1557-945X
,
1529-3785
Année de publication
:
2015
Volumen
:
16
Número
:
2
Type
:
Article
Exporter
Exporter
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Exporter
×
Le document ne peut pas être exporté car il appartient à un autre portail.
DOI:
10.1145/2699913
GOOGLE SCHOLAR
La source de données: Scopus
Contacter
Avertissement légal
Aide
translate
fr
arrow_drop_down
translate
fr
arrow_drop_down
es
ca
eu
gl
en
de