E. Giménez

	2004
1		Gilles Barthe, Maria João Frade, E. Giménez, Luis Pinto, Tarmo Uustalu: Type-based termination of recursive definitions. Mathematical Structures in Computer Science 14(1): 97-141 (2004)

Coauthor Index

1	Gilles Barthe	[1]
2	Maria João Frade	[1]
3	Luis Pinto	[1]
4	Tarmo Uustalu	[1]

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page