Special issue: LICS 1995 : [papers ... at the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS), held June 26 - 29, 1995, in San Diego, California]
guest ed.: Dexter Kozen. [Kousha Etessami ...]
| Alternative title: | LICS 1995 |
|---|---|
| Year of publication: |
2000
|
| Other Persons: | Kozen, Dexter (contributor) ; Etessami, Kousha (contributor) |
| Institutions: | Symposium on Logic in Computer Science <10, 1995, San Diego, Calif.> |
| Published in: |
Information and computation. - Amsterdam : Elsevier, ISSN 0890-5401, ZDB-ID 283864-3. - Vol. 157
|
| Publisher: |
San Diego [u.a.] : Acad. Press |
| Subject: | Theoretische Informatik | Mathematische Logik | Kombinatorische Logik | Kongress | San Diego <Calif., 1995> |
| Extent: | 236 S. |
|---|---|
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Konferenzschrift |
| Language: | English |
| Classification: | Theoretische Informatik ; Logikprogrammierung |
| Source: |
Persistent link: https://www.econbiz.de/10004866913