Raymond Turner

2008
23	EE	Raymond Turner, Amnon H. Eden: The Philosophy of Computer Science. J. Applied Logic 6(4): 459 (2008)
22	EE	Raymond Turner: Computable Models. J. Log. Comput. 18(2): 283-318 (2008)
2007
21	EE	Amnon H. Eden, Raymond Turner: Problems in the ontology of computer programs. Applied Ontology 2(1): 13-36 (2007)
2006
20	EE	Raymond Turner: Computability in Specification. J. Log. Comput. 16(6): 841-865 (2006)
2005
19	EE	Raymond Turner: Semantics and Stratification. J. Log. Comput. 15(2): 145-158 (2005)
18	EE	Raymond Turner: The Foundations of Specification. J. Log. Comput. 15(5): 623-662 (2005)
2001
17	EE	Raymond Turner: 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. Intelligent Systems and Soft Computing 2000: 239-258
15	EE	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	EE	Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb: Natural language access to Yellow Pages. KES 1999: 34-37
13	EE	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	EE	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
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

Coauthor Index

1	Richard Ball	[7]
2	Keith Brown	[7]
3	Amnon H. Eden	[21] [23]
4	Chris Fox	[7] [8]
5	Marjolein Groefsema	[7]
6	Martin C. Henson	[3] [5]
7	Udo Kruschwitz	[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