A Tutorial on Type-Based Termination

AuthID
 P-00Y-FNG
3
Author(s)
Grégoire, B
·
Riba, C
4
Editor(es)
Bove,A;Barbosa,LS;Pardo,A;Pinto,JS
Tipo de Documento
Proceedings Paper
Year published
2008
Publicado
in Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures in Lecture Notes in Computer Science
Volume: 5520, Páginas: 100-152
Indexing
Dblp®/pt/publications/view/999088
Publication Identifiers
DBLP: conf/lernet/BartheGR08
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service