( en | de | ru )

 

Disambiguierung von "Ritter, Eike"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the intuitionistic force of classical search.

, , und . Theor. Comput. Sci., 232 (1-2): 299-333 (2000)

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.

Theodor Eikelmann

Hella Eikenberg

Wolfgang Eikenberg

Andreas Eikeren

Christian Norbert Eikermann

 

Weitere Publikationen von Autoren mit dem selben Namen

A Fully Abstract Translation between a Lambda-Calculus with Reference Types and Standard ML., und . TLCA, Volume 902 von Lecture Notes in Computer Science, Seite 397-413. Springer, (1995)A games semantics for reductive logic and proof-search., und . GALOP@ETAPS, Seite 107-123. (2005)Normalization for Typed Lambda Calculi with Explicit Substitution.. CSL, Volume 832 von Lecture Notes in Computer Science, Seite 295-304. Springer, (1993)Stateful applied pi calculus: Observational equivalence and labelled bisimilarity., , , und . J. Log. Algebraic Methods Program., (2017)Categorical Abstract Machines for Higher-Order Typed lambda-Calculi.. Theor. Comput. Sci., 136 (1): 125-162 (1994)On the intuitionistic force of classical search., , und . Theor. Comput. Sci., 232 (1-2): 299-333 (2000)Categorical Models of Explicit Substitutions., , und . FoSSaCS, Volume 1578 von Lecture Notes in Computer Science, Seite 197-211. Springer, (1999)Categorical Models for Intuitionistic and Linear Type Theory., , und . FoSSaCS, Volume 1784 von Lecture Notes in Computer Science, Seite 223-237. Springer, (2000)Characterising Explicit Substitutions which Preserve Termination.. TLCA, Volume 1581 von Lecture Notes in Computer Science, Seite 325-339. Springer, (1999)Auditable Envelopes: Tracking Anonymity Revocation Using Trusted Computing., und . TRUST, Volume 7344 von Lecture Notes in Computer Science, Seite 19-33. Springer, (2012)