A Tutorial on Type-Based Termination

AuthID
 P-00Y-FNG
3
Author(s)
Grégoire, B
·
Riba, C
4
Editor(s)
Bove,A;Barbosa,LS;Pardo,A;Pinto,JS
Document Type
Proceedings Paper
Year published
2008
Published
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, Pages: 100-152
Indexing
Dblp®/en/publications/view/999088
Publication Identifiers
DBLP: conf/lernet/BartheGR08
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service