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
,
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
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
: 3
4
-
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
,
Marjolein
Groefsema
,
Nadim Obeid
, Raymond Turner: Helpful Answers To Modal And
Hypothetical Ques
tions.
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
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
]
1
4
Sam Steel
[
14
] [
15
] [
16
]
15
B. Walls
[
8
]
16
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
)
Enter the password to open this PDF file:
File name:
-
File size:
-
Title:
-
Author:
-
Subject:
-
Keywords:
-
Creation Date:
-
Modification Date:
-
Creator:
-
PDF Producer:
-
PDF Version:
-
Page Count:
-
Preparing document for printing…
0%
Σχόλια 0
Συνδεθείτε για να κοινοποιήσετε σχόλιο