Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Raymond Turner

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[j18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mima/Turner11
- ask others
Raymond Turner: Specification. Minds and Machines 21(2): 135-152 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[b2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0022619
- ask others
Raymond Turner: Computable Models. Springer 2009, ISBN 978-1-8488-2051-7, pp. I-XI, 1-240
2008
[j17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/japll/TurnerE08
- ask others
Raymond Turner, Amnon H. Eden: The Philosophy of Computer Science. J. Applied Logic 6(4): 459 (2008)
[j16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Turner08
- ask others
Raymond Turner: Computable Models. J. Log. Comput. 18(2): 283-318 (2008)
2007
[j15]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ao/EdenT07
- ask others
Amnon H. Eden, Raymond Turner: Problems in the ontology of computer programs. Applied Ontology 2(1): 13-36 (2007)
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mima/TurnerE07
- ask others
Raymond Turner, Amnon H. Eden: The Philosophy of Computer Science: Introduction to the Special Issue. Minds and Machines 17(2): 129-133 (2007)
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mima/Turner07
- ask others
Raymond Turner: Understanding Programming Languages. Minds and Machines 17(2): 203-216 (2007)
2006
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Turner06
- ask others
Raymond Turner: Computability in Specification. J. Log. Comput. 16(6): 841-865 (2006)
2005
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Turner05
- ask others
Raymond Turner: Semantics and Stratification. J. Log. Comput. 15(2): 145-158 (2005)
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Turner05a
- ask others
Raymond Turner: The Foundations of Specification. J. Log. Comput. 15(5): 623-662 (2005)
2001
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Turner01
- ask others
Raymond Turner: Type inference for set theory. Theor. Comput. Sci. 266(1-2): 951-974 (2001)
2000
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/nlp/KruschwitzRSSTW00
- ask others
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
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/soft/RoeckKSSTW00
- ask others
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

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Turner99
- ask others
Raymond Turner: Sets, Types and Type-checking. J. Log. Comput. 9(6): 959-975 (1999)
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kes/KruschwitzRSSTW99
- ask others
Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb: Natural language access to Yellow Pages. KES 1999: 34-37
1998
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Mirian-HosseinabadiT98
- ask others
Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner: Constructive Z. J. Log. Comput. 8(1): 49-70 (1998)
1997
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Turner97
- ask others
Raymond Turner: Reading Between the Lines in Constructive Type Theory. J. Log. Comput. 7(2): 229-250 (1997)
1996
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Turner96
- ask others
Raymond Turner: Weak Theories of Operations and Types. J. Log. Comput. 6(1): 5-31 (1996)
1993
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Turner93
- ask others
Raymond Turner: Lazy Theories of Operations and Types. J. Log. Comput. 3(1): 77-102 (1993)
1991
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/air/ObeidT91
- ask others
Nadim Obeid, Raymond Turner: Logical foundations of nonmonotonic reasoning. Artif. Intell. Rev. 5(1-2): 53-70 (1991)
[c6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bncod/LowdenWRFT91
- ask others
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
[c5]
- view
  - electronic edition @ upenn.edu
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eacl/RoeckBBFGOT91
- ask others
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
[j2]
- view
  - electronic edition @ projecteuclid.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ndjfl/Turner90
- ask others
Raymond Turner: Logics of Truth. Notre Dame Journal of Formal Logic 31(2): 308-329 (1990)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1988
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fsttcs/HensonT88
- ask others
Martin C. Henson, Raymond Turner: A Constructive Set Theory for Program Development. FSTTCS 1988: 329-347
1985
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cj/TurnerL85
- ask others
Raymond Turner, Barry G. T. Lowden: An Introduction to the Formal Specification of Relational Query Languages. Comput. J. 28(2): 162-169 (1985)
1984
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0068839
- ask others
Raymond Turner: Logics for artificial intelligence. Ellis Horwood series in artificial intelligence, Ellis Horwood 1984, ISBN 978-0-85312-713-0, pp. 1-121
1982
[c3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/Henson82
- ask others
Martin C. Henson, Raymond Turner: Completion Semantics, Interpreter Generation. POPL 1982: 242-254

1970 – 1979

see FAQ

What is the meaning of the colors in the publication list?

1979
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fct/RaskovskyT79
- ask others
Martin R. Raskovsky, Raymond Turner: Compiler generation and denotational semantics. FCT 1979: 382-386
1975
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/Turner75
- ask others
Raymond Turner: An Algebraic Theory of Formal Languages. MFCS 1975: 426-431