( en | de | ru )

 

Disambiguierung von "Haghverdi, Esfandiar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a typed Geometry of Interaction.

, und . Math. Struct. Comput. Sci., 20 (3): 473-521 (2010)

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.

Asadollah Haghverdi

Esfandiar Tadayon

Esfandiar Khorsandian

Esfandiar Shahrestani

Esfandiar Tabari

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Typed Geometry of Interaction., und . CSL, Volume 3634 von Lecture Notes in Computer Science, Seite 216-231. Springer, (2005)Typed GoI for Exponentials.. ICALP (2), Volume 4052 von Lecture Notes in Computer Science, Seite 384-395. Springer, (2006)Bisimulation Relations for Dynamical and Control Systems., , und . CTCS, Volume 69 von Electronic Notes in Theoretical Computer Science, Seite 120-136. Elsevier, (2002)A categorical model for the geometry of interaction., und . Theor. Comput. Sci., 350 (2-3): 252-274 (2006)Submodule construction from concurrent system specifications., und . Inf. Softw. Technol., 41 (8): 499-506 (1999)Verification by consecutive projections., und . FORTE, Volume C-10 von IFIP Transactions, Seite 465-478. North-Holland, (1992)Partially Additive Categories and Fully Complete Models of Linear Logic.. TLCA, Volume 2044 von Lecture Notes in Computer Science, Seite 197-216. Springer, (2001)Towards a typed Geometry of Interaction., und . Math. Struct. Comput. Sci., 20 (3): 473-521 (2010)Towards a geometry of recursion.. Theor. Comput. Sci., 412 (20): 2015-2028 (2011)Bisimulation relations for dynamical, control, and hybrid systems., , und . Theor. Comput. Sci., 342 (2-3): 229-261 (2005)