Search the dblp DataBase
Raymond Turner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - 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] - Martin R. Raskovsky, Raymond Turner
Compiler generation and denotational semantics. [Citation Graph (0, 0)][DBLP]
FCT, 1979, pp:382-386 [Conf] - Martin C. Henson, Raymond Turner
A Constructive Set Theory for Program Development. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1988, pp:329-347 [Conf] - Raymond Turner
An Algebraic Theory of Formal Languages. [Citation Graph (0, 0)][DBLP]
MFCS, 1975, pp:426-431 [Conf] - 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] - Martin C. Henson, Raymond Turner
Completion Semantics, Interpreter Generation. [Citation Graph (0, 0)][DBLP]
POPL, 1982, pp:242-254 [Conf] - 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] - 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] - Raymond Turner
Semantics and Stratification. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 2005, v:15, n:2, pp:145-158 [Journal] - Raymond Turner
The Foundations of Specification. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 2005, v:15, n:5, pp:623-662 [Journal] - 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] - 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] - 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] - Raymond Turner
Sets, Types and Type-checking. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 1999, v:9, n:6, pp:959-975 [Journal] - Raymond Turner
Computability in Specification. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 2006, v:16, n:6, pp:841-865 [Journal] - 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] - 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] - 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]
Natural language access to Yellow Pages. [Citation Graph (, )][DBLP]
Search in 0.017secs, Finished in 0.018secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002