Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	E.
Last name:	Giménez
DBLP:	92/5386
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 1 of 1  

Select a publication
Show	Title	Venue	Rating	Date
	Gilles Barthe, Maria João Frade, E. Giménez, Luis Pinto, Tarmo Uustalu. Type-based termination of recursive definitions.	Mathematical Structures in Computer Science 2004, Volume 14	(0)	2004

Your query returned 1 matches in the database.