The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Raymond Turner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Raymond Turner, Barry G. T. Lowden
    An Introduction to the Formal Specification of Relational Query Languages. [Citation Graph (3, 0)][DBLP]
    Comput. J., 1985, v:28, n:2, pp:162-169 [Journal]
  2. Barry G. T. Lowden, B. Walls, Anne N. De Roeck, Chris Fox, Raymond Turner
    A Formal Approach to Translating English into SQL. [Citation Graph (0, 0)][DBLP]
    BNCOD, 1991, pp:110-127 [Conf]
  3. Anne N. De Roeck, Richard Ball, Keith Brown, Chris Fox, Marjolein Groefsema, Nadim Obeid, Raymond Turner
    Helpful Answers To Modal And Hypothetical Questions. [Citation Graph (0, 0)][DBLP]
    EACL, 1991, pp:257-262 [Conf]
  4. Martin R. Raskovsky, Raymond Turner
    Compiler generation and denotational semantics. [Citation Graph (0, 0)][DBLP]
    FCT, 1979, pp:382-386 [Conf]
  5. Martin C. Henson, Raymond Turner
    A Constructive Set Theory for Program Development. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1988, pp:329-347 [Conf]
  6. Raymond Turner
    An Algebraic Theory of Formal Languages. [Citation Graph (0, 0)][DBLP]
    MFCS, 1975, pp:426-431 [Conf]
  7. Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb
    Extracting Semistructured Data - Lessons Learnt. [Citation Graph (0, 0)][DBLP]
    Natural Language Processing, 2000, pp:406-417 [Conf]
  8. Martin C. Henson, Raymond Turner
    Completion Semantics, Interpreter Generation. [Citation Graph (0, 0)][DBLP]
    POPL, 1982, pp:242-254 [Conf]
  9. Anne N. De Roeck, Udo Kruschwitz, Paul Scott, Sam Steel, Raymond Turner, Nick Webb
    The YPA - An Assistant for Classified Directory Enquiries. [Citation Graph (0, 0)][DBLP]
    Intelligent Systems and Soft Computing, 2000, pp:239-258 [Conf]
  10. Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner
    Constructive Z. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:1, pp:49-70 [Journal]
  11. Raymond Turner
    Semantics and Stratification. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:2, pp:145-158 [Journal]
  12. Raymond Turner
    The Foundations of Specification. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:5, pp:623-662 [Journal]
  13. Raymond Turner
    Lazy Theories of Operations and Types. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:1, pp:77-102 [Journal]
  14. Raymond Turner
    Weak Theories of Operations and Types. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:1, pp:5-31 [Journal]
  15. Raymond Turner
    Reading Between the Lines in Constructive Type Theory. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:2, pp:229-250 [Journal]
  16. Raymond Turner
    Sets, Types and Type-checking. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:6, pp:959-975 [Journal]
  17. Raymond Turner
    Computability in Specification. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:6, pp:841-865 [Journal]
  18. Raymond Turner
    Logics of Truth. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:308-329 [Journal]
  19. Raymond Turner
    Type inference for set theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:951-974 [Journal]
  20. Amnon H. Eden, Raymond Turner
    Problems in the ontology of computer programs. [Citation Graph (0, 0)][DBLP]
    Applied Ontology, 2007, v:2, n:1, pp:13-36 [Journal]

  21. Natural language access to Yellow Pages. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
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