| 2006 |
|---|
| 18 | EE | Tim Fernando:
Finite-State Temporal Projection.
CIAA 2006: 230-241 |
| 17 | EE | Tim Fernando:
Situations as Strings.
Electr. Notes Theor. Comput. Sci. 165: 23-36 (2006) |
| 2004 |
|---|
| 16 | EE | Tim Fernando:
A Finite-state Approach to Events in Natural Language Semantics.
J. Log. Comput. 14(1): 79-92 (2004) |
| 2002 |
|---|
| 15 | EE | Tim Fernando:
A Finite-State Approach to Event Semantics.
TIME 2002: 124- |
| 2001 |
|---|
| 14 | | Tim Fernando:
Ambiguous Discourse in a Compositional Context. An Operational Perspective.
Journal of Logic, Language and Information 10(1): 63-86 (2001) |
| 2000 |
|---|
| 13 | | Tim Fernando:
Towards a Many-Dimensional Modal Logic for Semantic Processing.
Advances in Modal Logic 2000: 139-151 |
| 1999 |
|---|
| 12 | EE | Tim Fernando:
Ambiguous propositions typed.
EACL 1999: 86-93 |
| 11 | | Tim Fernando:
A Modal Logic for Non-Deterministic Discourse Processing.
Journal of Logic, Language and Information 8(4): 445-468 (1999) |
| 1998 |
|---|
| 10 | | Tim Fernando:
In Conjunction with Qualitative Probability.
Ann. Pure Appl. Logic 92(3): 217-234 (1998) |
| 1994 |
|---|
| 9 | | Tim Fernando:
Bisimulations and Predicate Logic.
J. Symb. Log. 59(3): 924-944 (1994) |
| 1993 |
|---|
| 8 | EE | Tim Fernando:
The donkey strikes back: Extending the dynamic interpretation "constructively".
EACL 1993: 130-138 |
| 7 | | Tim Fernando:
A higher-order extension of constraint programming in disourse analysis.
PPCP 1993: 60-69 |
| 1992 |
|---|
| 6 | | Tim Fernando:
Comparative Transition System Semantics.
CSL 1992: 149-166 |
| 5 | | Tim Fernando:
Transition Systems and Dynamic Semantics.
JELIA 1992: 232-251 |
| 1991 |
|---|
| 4 | | Tim Fernando:
A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation.
CSL 1991: 96-110 |
| 3 | | Tim Fernando:
Provably Recursive Programs and Program Extraction.
ICALP 1991: 303-313 |
| 1988 |
|---|
| 2 | EE | Daniel Leivant,
Tim Fernando:
Meager and replete failures of relative completeness.
J. ACM 35(4): 953-964 (1988) |
| 1987 |
|---|
| 1 | | Daniel Leivant,
Tim Fernando:
Skinny and Fleshy Failures of Relative Completeness.
POPL 1987: 246-252 |
