The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tim Fernando: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Tim Fernando
    Comparative Transition System Semantics. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:149-166 [Conf]
  4. Tim Fernando
    The donkey strikes back: Extending the dynamic interpretation "constructively". [Citation Graph (0, 0)][DBLP]
    EACL, 1993, pp:130-138 [Conf]
  5. Tim Fernando
    Ambiguous propositions typed. [Citation Graph (0, 0)][DBLP]
    EACL, 1999, pp:86-93 [Conf]
  6. Tim Fernando
    Provably Recursive Programs and Program Extraction. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:303-313 [Conf]
  7. Tim Fernando
    Transition Systems and Dynamic Semantics. [Citation Graph (0, 0)][DBLP]
    JELIA, 1992, pp:232-251 [Conf]
  8. Daniel Leivant, Tim Fernando
    Skinny and Fleshy Failures of Relative Completeness. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:246-252 [Conf]
  9. Tim Fernando
    A higher-order extension of constraint programming in disourse analysis. [Citation Graph (0, 0)][DBLP]
    PPCP, 1993, pp:60-69 [Conf]
  10. Tim Fernando
    A Finite-State Approach to Event Semantics. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:124-0 [Conf]
  11. Tim Fernando
    Finite-State Temporal Projection. [Citation Graph (0, 0)][DBLP]
    CIAA, 2006, pp:230-241 [Conf]
  12. 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]
  13. Tim Fernando
    Situations as Strings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:23-36 [Journal]
  14. 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]
  15. 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]
  16. 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]
  17. Tim Fernando
    Bisimulations and Predicate Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:924-944 [Journal]
  18. 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.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002