Typ des Eintrags: |
Konferenzveröffentlichung
|
Erschienen: |
1998 |
Autor(en): |
Hofmann, Martin |
Art des Eintrags: |
Bibliographie |
Titel: |
A mixed modal/linear lambda calculus with application |
Sprache: |
Deutsch |
Publikationsjahr: |
1998 |
Ort: |
Berlin, Heidelberg (u.a.) |
Verlag: |
Springer |
Reihe: |
Workshop on Computer Science Logic - CSL <11,1997, Aarhus>: Proceedings. S. 275-294 |
Band einer Reihe: |
1414 |
Auflage: |
Berlin, Heidelberg (u.a.): Springer, 1998 |
Fachbereich(e)/-gebiet(e): |
04 Fachbereich Mathematik |
Hinterlegungsdatum: |
19 Nov 2008 16:21 |
Letzte Änderung: |
05 Mär 2013 08:43 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |
![Redaktionelle Details anzeigen Redaktionelle Details anzeigen](/style/images/action_view.png) |
Redaktionelle Details anzeigen |