TU Darmstadt / ULB / TUbiblio

Semantics and logics of objects

Reus, Bernhard ; Streicher, Thomas :
Semantics and logics of objects.
In: Proceedings of LICS' 02 Symposium on logic in computer science <17, 2002, Copenhagen>. - Los Alamitos, Calif. [u.a.]: IEEE Comp. Soc., 2002 . IEEE Comp. Soc. , Los Alamitos, Calif. [u.a.]
[Konferenz- oder Workshop-Beitrag], (2002)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2002
Autor(en): Reus, Bernhard ; Streicher, Thomas
Titel: Semantics and logics of objects
Sprache: Englisch
Reihe: Proceedings of LICS' 02 Symposium on logic in computer science <17, 2002, Copenhagen>. - Los Alamitos, Calif. [u.a.]: IEEE Comp. Soc., 2002
Ort: Los Alamitos, Calif. [u.a.]
Verlag: IEEE Comp. Soc.
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:29
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen