dblp.uni-trier.dewww.uni-trier.de

Theo M. V. Janssen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
6EETheo M. V. Janssen: Algebraic Translations, Correctness and Algebraic Compiler Construction. Theor. Comput. Sci. 199(1-2): 25-56 (1998)
1997
5EETheo 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

Coauthor Index

1Peter van Emde Boas [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)