Reus, Bernhard ; Streicher, Thomas (2002):
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, Los Alamitos, Calif. [u.a.], IEEE Comp. Soc., [Conference or Workshop Item]
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2002 |
| Creators: | Reus, Bernhard ; Streicher, Thomas |
| Title: | Semantics and logics of objects |
| Language: | English |
| Series: | Proceedings of LICS' 02 Symposium on logic in computer science <17, 2002, Copenhagen>. - Los Alamitos, Calif. [u.a.]: IEEE Comp. Soc., 2002 |
| Place of Publication: | Los Alamitos, Calif. [u.a.] |
| Publisher: | IEEE Comp. Soc. |
| Divisions: | 04 Department of Mathematics |
| Date Deposited: | 19 Nov 2008 16:29 |
| License: | [undefiniert] |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum