Loew, Tobias ; Streicher, Thomas (2006):
Universality results for models in locally boolean domains.
In: Computer science logic : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25 - 29, 2006 ; proceedings / Zoltán Ésik (ed.). - Berlin [u.a.] : Springer, 2006, S. 456-470 (Lecture notes in computer scie, pp. 456--470, Berlin [u.a.], Springer, [Conference or Workshop Item]
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2006 |
| Creators: | Loew, Tobias ; Streicher, Thomas |
| Title: | Universality results for models in locally boolean domains |
| Language: | English |
| Series: | Computer science logic : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25 - 29, 2006 ; proceedings / Zoltán Ésik (ed.). - Berlin [u.a.] : Springer, 2006, S. 456-470 (Lecture notes in computer scie |
| Place of Publication: | Berlin [u.a.] |
| Publisher: | Springer |
| Divisions: | 04 Department of Mathematics |
| Date Deposited: | 20 Nov 2008 08:25 |
| License: | [undefiniert] |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum