The SCEAS System
| |||||||

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

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |