( en | de | ru )

 

Disambiguierung von "Gimenez, Eduardo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Structural Recursive Definitions in Type Theory

. Automata, Languages and Programming, Seite 397-408. (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tomás Giménez

Paul Gimenez

Stéphane Gimenez

Laura Ramón Giménez

Hortensia Faus Giménez

 

Weitere Publikationen von Autoren mit dem selben Namen

A Tutorial on Co-Inductive Types in Coq, und . (2006)Improving Web Application Firewalls through Anomaly Detection., , , und . ICMLA, Seite 779-784. IEEE, (2018)Codifying Guarded Definitions with Recursive Schemes.. TYPES, Volume 996 von Lecture Notes in Computer Science, Seite 39-59. Springer, (1994)An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol.. TYPES, Volume 1158 von Lecture Notes in Computer Science, Seite 135-152. Springer, (1995)Structural Recursive Definitions in Type Theory.. ICALP, Volume 1443 von Lecture Notes in Computer Science, Seite 397-408. Springer, (1998)Possibilistic-Based Bidding Strategies in Electronic Auctions., , , und . ECAI, Seite 575-579. John Wiley and Sons, (1998)Structural Recursive Definitions in Type Theory. Automata, Languages and Programming, Seite 397-408. (1998)Bidding Strategies for Trading Agents in Auction-Based Tournaments., , , und . AMET, Volume 1571 von Lecture Notes in Computer Science, Seite 151-165. Springer, (1998)Modeling and Control of Economic Systems 2001, , und . Kapitel Endogenous Fertility, Pension Programs and Intergenerational Welfare, Seite 157--161. Elsevier Science Ltd, Oxford, (2003)