Content
Second-Order Pre-Logical Relations and Representation Independence.
Proceedings TLCA 2001, Krakow, May 2-5, 2001. Springer LNCS 2044. Copyright by Springer-Verlag, 2001.
| Authors/Editors: |
Hans Leiß |
|---|---|
| Publication Date: | 2001 |
| Type of Publication: | Konferenzen/Journale |
Related Links