Turnstile (symbol)

Known as: , Turnstile (mathematical logic), Vdash 
In mathematical logic and computer science the symbol has taken the name turnstile because of its resemblance to a typical turnstile if viewed from… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1963-2018
0102019632018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
We study k-party set disjointness in the simultaneous message-passing model, and show that even if each element i ∈ [n] is… (More)
  • table 1
  • figure 1
Is this relevant?
2015
2015
We consider the unweighted bipartite maximum matching problem in the one-pass turnstile streaming model where the input stream… (More)
Is this relevant?
2013
2013
Buildings account for 40% of US primary energy consumption and 72% of electricity. Of this total, 50% of the energy consumed in… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
This paper presents the development of a circular-polarization feed comprising an OMT (orthomode transducer) and a corrugated… (More)
  • table 1
  • figure I
  • figure 2
  • figure 2
  • figure 3
Is this relevant?
2010
2010
We consider the problem of approximating a set P of η points in <i>R</i><sup>d</sup> by a j-dimensional subspace under the <i>l… (More)
  • table 1
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We give near-optimal space bounds in the streaming model for linear algebra problems that include estimation of matrix products… (More)
  • figure 1
Is this relevant?
2009
2009
We present a method for certifying that the values computed by an imperative program will be bounded by polynomials in the… (More)
Is this relevant?
2009
2009
We compare the performance of the classic global positioning system (GPS) choke ring ground plane with a new shallower design… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 5
Is this relevant?
1998
1998
In this article we study interpolation properties for the minimal system of interpretability logic IL. We prove that arrow… (More)
  • figure 1
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Over the past few years, I have developed an approach to the formal specification of concurrent systems that I now call the… (More)
  • figure 1
  • figure 3
  • figure 5
Is this relevant?