TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Konferenzveröffentlichung
Marz, Michael ; Rohr, A. ; Streicher, Thomas (1999)
Full abstraction and universality via realisability.
Konferenzveröffentlichung, Bibliographie