Volume 45, Number 1, 2004
- Kai F. Wehmeier:
Wittgensteinian Predicate Logic.
1-11

- Steven Kuhn:
A Simple Embedding of T into Double S5.
13-18

- Dirk Pattinson:
Expressive Logics for Coalgebras via Terminal Sequence Induction.
19-33

- Steffen van Bakel:
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing.
35-63

Volume 45, Number 2, 2004
Volume 45, Number 3, 2004
Volume 45, Number 4, 2004
Last update Tue May 21 15:05:40 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page