Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,753 papers from all fields of science
Search
Sign In
Create Free Account
Oracle machine
Known as:
Oracle set
, Oracle (computer science)
, Oracle tape
Expand
In complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems. It can be visualized as a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract machine
Algorithmically random sequence
Amplitude amplification
Berman–Hartmanis conjecture
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Doubling in relative clauses : Aspects of morphosyntactic microvariation in Dutch
Aspecten van morfosyntactische
,
Eefje Pietertje
,
M. Boef
2013
Corpus ID: 123793207
This thesis presents a study of morphosyntactic microvariation in (long-distance) restrictive relative clauses and related…
Expand
Highly Cited
2004
Highly Cited
2004
All things being unequal : locality in movement
T. Doggett
2004
Corpus ID: 170955806
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2004.
Highly Cited
2003
Highly Cited
2003
Extraction of multi-word collocations using syntactic bigram composition
Violeta Seretan
,
L. Nerima
,
E. Wehrli
2003
Corpus ID: 17069599
This paper presents a method for extracting multi-word collocations (MWCs) from text corpora, which is based on the previous…
Expand
1996
1996
Topic and focus in a formal framework
J. Peregrin
1996
Corpus ID: 14539525
1994
1994
Quasilinear Time Complexity Theory
A. Naik
,
Kenneth W. Regan
Symposium on Theoretical Aspects of Computer…
1994
Corpus ID: 9923753
This paper furthers the study of quasi-linear time complexity initiated by Schnorr [Sch76] and Gurevich and Shelah [GS89]. We…
Expand
Highly Cited
1993
Highly Cited
1993
The overt syntax of relativization and topicalization in Chinese
Chunyan Ning
1993
Corpus ID: 60371722
Highly Cited
1993
Highly Cited
1993
Theory Interpretation in Simple Type Theory
W. Farmer
Higher-Order Algebra, Logic and Term Rewriting
1993
Corpus ID: 14156134
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in…
Expand
1989
1989
Decision versus search problems in super-polynomial time
R. Impagliazzo
,
G. Tardos
30th Annual Symposium on Foundations of Computer…
1989
Corpus ID: 42979204
The following propositions are considered: (1) E=NE (i.e. it is decidable in exponential time whether there is a solution for an…
Expand
1972
1972
Sorcellerie, oracles et magie chez les Azandé
E. E. Evans-Pritchard
,
C. G. Seligman
,
Louis Évrard
1972
Corpus ID: 160155257
Review
1947
Review
1947
The Dynastic Oracle: II Samuel 7
John L. Mckenzie
1947
Corpus ID: 170164227
DR. ROBERT H. PFEIFFER of Harvard has secured himself a permanent place in Old Testament scholarship by his very learned and very…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE