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, Udo Kruschwitz, Paul Scott, Sam Steel, Raymond Turner,
Nick Webb: The YPA - An Assistant for Classified Directory Enquiries.

15
13
Intelligent Systems and Soft Computing 2000: 239-258
Udo Kruschwitz, 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
Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner,
Nick Webb: Natural language access to Yellow Pages. KES 1999: 34-37
Raymond Turner: Sets, Types and Type-checking. J. Log. Comput. 9(6): 959-
975 (1999)
12
1998
Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner: Constructive Z. J. Log.
Comput. 8(1): 49-70 (1998)
11
1997
Raymond Turner: Reading Between the Lines in Constructive Type Theory. J.
Log. Comput. 7(2): 229-250 (1997)
10
1996
Raymond Turner: Weak Theories of Operations and Types. J. Log. Comput.
6(1): 5-31 (1996)
9
1993
Raymond Turner: Lazy Theories of Operations and Types. J. Log. Comput.
3(1): 77-102 (1993)
8
7
6
1991
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
Anne N. De Roeck, Richard Ball, Keith Brown, Chris Fox, Marjolein
Groefsema, Nadim Obeid, Raymond Turner: Helpful Answers To Modal And
Hypothetical Questions. EACL 1991: 257-262
1990
Raymond Turner: Logics of Truth. Notre Dame Journal of Formal Logic 31(2):
308-329 (1990)
5
1988
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)
3
1982
Martin C. Henson, Raymond Turner: Completion Semantics, Interpreter
Generation. POPL 1982: 242-254
2
1979
Martin R. Raskovsky, Raymond Turner: Compiler generation and denotational semantics. FCT 1979: 382-386
1
1975
Raymond Turner: An Algebraic Theory of Formal Languages. MFCS 1975:
426-431
14
15
16
10
11
12
13
3
4
1
2
Richard Ball [7]
Keith Brown [7]
Amnon H. Eden [21] [23]
Chris Fox [7] [8]
5
6
Marjolein Groefsema [7]
Martin C. Henson [3] [5]
7
8
Udo Kruschwitz
Barry G. T. Lowden
[14] [15] [16]
[4] [8]
9 Seyed-Hassan Mirian-Hosseinabadi [12]
Nadim Obeid [7]
Martin R. Raskovsky [2]
Anne N. De Roeck [7] [8] [14] [15] [16]
Paul Scott [14] [15] [16]
Sam Steel [14] [15] [16]
B. Walls [8]
Nick Webb [14] [15] [16]
Colors in the list of coauthors
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Thu Jun 17 16:46:17 2010 by Michael Ley (ley@uni-trier.de)