Typ des Eintrags: |
Konferenzveröffentlichung
|
Erschienen: |
1996 |
Autor(en): |
Hofmann, Martin |
Art des Eintrags: |
Bibliographie |
Titel: |
Conservativity of equality reflection over intensional type theory |
Sprache: |
Englisch |
Publikationsjahr: |
1996 |
Ort: |
Berlin, Heidelberg (u.a.) |
Verlag: |
Springer |
Reihe: |
Types for proof and programs: selected papers / Internat. Workshop TYPES '95, Torino, Italy, 1995. Hrsg.: S. Berardi (u.a.) |
Band einer Reihe: |
1158 |
Auflage: |
Berlin, Heidelberg (u.a.): Springer, 1996 |
Fachbereich(e)/-gebiet(e): |
04 Fachbereich Mathematik |
Hinterlegungsdatum: |
19 Nov 2008 15:59 |
Letzte Änderung: |
05 Mär 2013 08:34 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |
|
Redaktionelle Details anzeigen |