Raymond Turner

36 papers A* 1A 1B 3C 1Journal 22Unranked 4

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Computational Abstraction. Entropy Raymond Turner
2019	C	`conf`	Correctness, Explanation and Intention. CiE Raymond Turner
2018	—	`book`	Computational Artifacts - Towards a Philosophy of Computer Science Raymond Turner
2011	J	`jnl`	Specification. Minds Mach. Raymond Turner
2009	—	`book`	Computable Models. Raymond Turner
2008	J	`jnl`	Computable Models. J. Log. Comput. Raymond Turner
2008	J	`jnl`	The Philosophy of Computer Science. J. Appl. Log. Raymond Turner, Amnon H. Eden
2007	J	`jnl`	Problems in the ontology of computer programs. Appl. Ontology Amnon H. Eden, Raymond Turner
2007	J	`jnl`	The Philosophy of Computer Science: Introduction to the Special Issue. Minds Mach. Raymond Turner, Amnon H. Eden
2007	J	`jnl`	Understanding Programming Languages. Minds Mach. Raymond Turner
2006	J	`jnl`	Computability in Specification. J. Log. Comput. Raymond Turner
2005	J	`jnl`	Semantics and Stratification. J. Log. Comput. Raymond Turner
2005	J	`jnl`	The Foundations of Specification. J. Log. Comput. Raymond Turner
2001	J	`jnl`	Type inference for set theory. Theor. Comput. Sci. Raymond Turner
2000	—	`conf`	Extracting Semistructured Data - Lessons Learnt. Natural Language Processing Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb
2000	—	`conf`	The YPA - An Assistant for Classified Directory Enquiries. Intelligent Systems and Soft Computing Anne N. De Roeck, Udo Kruschwitz, Paul Scott, Sam Steel, Raymond Turner, Nick Webb
1999	B	`conf`	Natural language access to Yellow Pages. KES Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb
1999	J	`jnl`	Sets, Types and Type-checking. J. Log. Comput. Raymond Turner
1998	J	`jnl`	Constructive Z. J. Log. Comput. Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner
1997	J	`jnl`	Reading Between the Lines in Constructive Type Theory. J. Log. Comput. Raymond Turner
1997	—	`ch.`	Types. Handbook of Logic and Language Raymond Turner
1996	J	`jnl`	Weak Theories of Operations and Types. J. Log. Comput. Raymond Turner
1993	J	`jnl`	Lazy Theories of Operations and Types. J. Log. Comput. Raymond Turner
1991	—	`conf`	A Formal Approach to Translating English into SQL. BNCOD Barry G. T. Lowden, B. Walls, Anne N. De Roeck, Chris Fox, Raymond Turner
1991	A	`conf`	Helpful Answers To Modal And Hypothetical Questions. EACL Anne N. De Roeck, Richard Ball, Keith Brown, Chris Fox, Marjolein Groefsema, Nadim Obeid, Raymond Turner
1991	J	`jnl`	Logical foundations of nonmonotonic reasoning. Artif. Intell. Rev. Nadim Obeid, Raymond Turner
1990	J	`jnl`	Logics of Truth. Notre Dame J. Formal Log. Raymond Turner
1988	—	`conf`	A Constructive Set Theory for Program Development. FSTTCS Martin C. Henson, Raymond Turner
1985	J	`jnl`	An Introduction to the Formal Specification of Relational Query Languages. Comput. J. Raymond Turner, Barry G. T. Lowden
1985	J	`jnl`	Nominalization and Scott's domains. II. Notre Dame J. Formal Log. Raymond Turner
1985	J	`jnl`	Three theories of nominalized predicates. Stud Logica Raymond Turner
1984	—	`book`	Logics for artificial intelligence. Raymond Turner
1982	A*	`conf`	Completion Semantics, Interpreter Generation. POPL Martin C. Henson, Raymond Turner
1981	J	`jnl`	Counterfactuals without possible worlds. J. Philos. Log. Raymond Turner
1979	B	`conf`	Compiler generation and denotational semantics. FCT Martin R. Raskovsky, Raymond Turner
1975	B	`conf`	An Algebraic Theory of Formal Languages. MFCS Raymond Turner