UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Decidability for non-standard conversions in typed lambda-calculi

Online Katalog der Universitätsbibliothek der LMU München (1/1)

Ablegen in:
 




Decidability for non-standard conversions in typed lambda-calculi

Autor: Barral, Freiric
Ort, Verlag, Jahr: , , 2008
Umfang: VI, 136 S.

  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellung/Vormerkung
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor:Barral, Freiric
Titel:Decidability for non-standard conversions in typed lambda-calculi
Von:Freiric Barral
Jahr:2008
Umfang:VI, 136 S.
Illustrationsangabe:Ill., graph. Darst.
Hochschulschrift :München, Univ., Diss., 2008 u. Toulouse, Univ. III, Diss., 2008
BV-Nummer:BV035358696
Andere Ausgabe:Erscheint auch als
Andere Ausgabe:Online-Ausgabe