Theo M. V. Janssen

	2009
9		Xavier Caicedo, Francien Dechesne, Theo M. V. Janssen: Equivalence and quantifier rules for logic with imperfect information. Logic Journal of the IGPL 17(1): 91-129 (2009)
	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		Theo M. V. Janssen: Algebraic Translations, Correctness and Algebraic Compiler Construction. Theor. Comput. Sci. 199(1-2): 25-56 (1998)
	1997
5		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

Coauthor Index

1	Peter van Emde Boas	[1] [2] [3]
2	Xavier Caicedo	[9]
3	Francien Dechesne	[9]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page