2002 | ||
---|---|---|
8 | Theo M. V. Janssen: Independent Choices and the Interpretation of IF Logic. Journal of Logic, Language and Information 11(3): 367-387 (2002) | |
2001 | ||
7 | Theo M. V. Janssen: Frege, Contextuality and Compositionality. Journal of Logic, Language and Information 10(1): 115-136 (2001) | |
1998 | ||
6 | EE | Theo M. V. Janssen: Algebraic Translations, Correctness and Algebraic Compiler Construction. Theor. Comput. Sci. 199(1-2): 25-56 (1998) |
1997 | ||
5 | EE | Theo M. V. Janssen: An Overview of Compositional Translations. COMPOS 1997: 327-349 |
1988 | ||
4 | Theo M. V. Janssen: A Mathematical Model for the CAT Framwork of EUROTRA. Computerlinguistik und ihre theoretischen Grundlagen 1988: 104-116 | |
1981 | ||
3 | Theo M. V. Janssen, Peter van Emde Boas: Some Observations on Compositional Semantics. Logic of Programs 1981: 137-149 | |
1977 | ||
2 | Theo M. V. Janssen, Peter van Emde Boas: On the Proper Treatment or Referencing, Dereferencing and Assignment. ICALP 1977: 282-300 | |
1 | Theo M. V. Janssen, Peter van Emde Boas: The Expressive Power of Intensional Logic in the Semantics of Programming Languages. MFCS 1977: 303-311 |
1 | Peter van Emde Boas | [1] [2] [3] |