Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Pedestrian accidents are a serious and growing problem in the cities of developing countries, especially in Dhaka, the capital of… Expand
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
2015
2015
Heft 5 der Reihe „Chormusik zum Gottesdienst im Kirchenjahr“ versammelt 32 Stucke von Max Eham zum Motivkreis "Lob und Dank… Expand
2014
2014
0. Introduction. It is generally accepted that verb forms in Russian are inflected for features of the sentence in which they… Expand
2014
2014
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
Recently, a strong link has been discovered between supermodularity on lattices and tractability of optimization problems known… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2003
Highly Cited
2003
The significance of “being similar” in the inference of species relationships is refuted once again (see also Hennig, 1966… Expand
2002
2002
My dissertation consists of three essays in the Metaphysics of Modality: In "A Puzzle about Truth and Singular Propositions," I… Expand
2000
2000
We give a combinatorial method for proving elementary equivalence in first-order logic FO with counting modulo n quantifiers Dn… Expand
1999
1999
iii ACKNOWLEDGMENTS I would rst like to thank my advisor, Professor Wen-mei Hwu, for his guidance and support. This work would… Expand
  • figure 6.2
Highly Cited
1978
Highly Cited
1978
The semantics of the nondeterministic and noncontinuous constructs of the descriptive and applicative parts of the wide spectrum… Expand