Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,212,302 papers from all fields of science
Search
Sign In
Create Free Account
BIT predicate
Known as:
Ackermann coding
In mathematics and computer science, the BIT predicate or Ackermann coding, sometimes written BIT(i, j), is a predicate which tests whether the jth…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
AC0
Bit manipulation
Bitwise operation
C++
Expand
Broader (2)
Circuit complexity
Set theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Pedestrian safety at intersections in Dhaka metropolitan city
S. Pervaz
,
Shahnewaz Hazanat-E-Rabbi
,
Kazi Md. Shifun Newaz
2016
Corpus ID: 130472402
Pedestrian accidents are a serious and growing problem in the cities of developing countries, especially in Dhaka, the capital of…
Expand
2014
2014
ON THE SYNTAX, MORPHOLOGY, AND SEMANTICS OF RUSSIAN VERBAL ASPECT
F. Gladney
2014
Corpus ID: 61887654
0. Introduction. It is generally accepted that verb forms in Russian are inflected for features of the sentence in which they…
Expand
2014
2014
Name-bearing, reference, and circularity
Aidan Gray
2014
Corpus ID: 55208110
Proponents of the predicate view of names explain the reference of an occurrence of a name N by invoking the property of bearing…
Expand
2008
2008
Ehrenfeucht-Fraïssé games in finite set theory
Xiaoping Zhou
Information Processing Letters
2008
Corpus ID: 22464824
2008
2008
Maximizing Supermodular Functions on Product Lattices, with Application to Maximum Constraint Satisfaction
A. Krokhin
,
B. Larose
SIAM Journal on Discrete Mathematics
2008
Corpus ID: 7097672
Recently, a strong link has been discovered between supermodularity on lattices and tractability of optimization problems known…
Expand
Highly Cited
2003
Highly Cited
2003
The repugnant and the mature in phylogenetic inference: atemporal similarity and historical identity
A. Kluge
2003
Corpus ID: 1266178
The significance of “being similar” in the inference of species relationships is refuted once again (see also Hennig, 1966…
Expand
2002
2002
Actualism, singular propositions, and possible worlds : essays in metaphysics of modality
Aviv Hoffmann
2002
Corpus ID: 62785196
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2002.
2000
2000
Counting Modulo Quantifiers on Finite Structures
Juha Nurmonen
Information and Computation
2000
Corpus ID: 206566506
We give a combinatorial method for proving elementary equivalence in first-order logic FO with counting modulo n quantifiers Dn…
Expand
1988
1988
Magány : vegyeskar (SABar) a cappella = Einsamkeit : gemischter Chor (SABar) a cappella = Solitude : mixed choir (SABar) a cappella
G. Ligeti
,
Sándor Weöres
,
Hilger Schallehn
,
Desmond Clayton
1988
Corpus ID: 190991484
Highly Cited
1978
Highly Cited
1978
Semantics of Nondeterministic and Noncontinuous Constructs
M. Broy
,
R. Gnatz
,
M. Wirsing
Program Construction
1978
Corpus ID: 40830927
The semantics of the nondeterministic and noncontinuous constructs of the descriptive and applicative parts of the wide spectrum…
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