DBLP: Raymond Turner

Raymond Turner

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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

Colors in the list of coauthors