DBLP Raymond Turnerx

mumpsimuspreviousΤεχνίτη Νοημοσύνη και Ρομποτική

25 Οκτ 2013 (πριν από 3 χρόνια και 9 μήνες)

82 εμφανίσεις




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
)