 | 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 |
