Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,261,775 papers from all fields of science
Search
Sign In
Create Free Account
Cylindric numbering
In computability theory a cylindric numbering is a special kind of numbering first introduced by Yuri L. Ershov in 1973. If a numberings is reducible…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
5 relations
Computability theory
Cylindrification
Gödel numbering
Numbering (computability theory)
Broader (1)
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Learning a dictionary of prototypical grasp-predicting parts from grasping experience
R. Detry
,
C. Ek
,
M. Madry
,
D. Kragic
IEEE International Conference on Robotics and…
2013
Corpus ID: 5705766
We present a real-world robotic agent that is capable of transferring grasping strategies across objects that share similar parts…
Expand
2012
2012
Dynamics of helical vortices and helical-vortex rings
E. Sonin
2012
Corpus ID: 119116271
The letter considers dynamics of helical vortices and helical-vortex rings either solving directly the equations of motions of a…
Expand
2010
2010
Plane Drawings of Queue and Deque Graphs
Christopher Auer
,
C. Bachmaier
,
F. Brandenburg
,
Wolfgang Brunner
,
Andreas Gleißner
Graph Drawing
2010
Corpus ID: 2033619
In stack and queue layouts the vertices of a graph are linearly ordered from left to right, where each edge corresponds to an…
Expand
Highly Cited
2007
Highly Cited
2007
Relation algebra reducts of cylindric algebras and complete representations
R. Hirsch
Journal of Symbolic Logic
2007
Corpus ID: 6885681
Abstract We show, for any ordinal γ ≥ 3, that the class ℜaCAγ is pseudo-elementary and has a recursively enumerable elementary…
Expand
2006
2006
Nominal Algebra
M. Gabbay
2006
Corpus ID: 13901627
Universal algebra [5, 9, 4] is the theory of equalities t = u. It is a simple framework within which we can study mathematical…
Expand
2004
2004
Die angeborene Pseudoerosion der Portio und ihr Schicksal
H. Hamperl
Archiv für Gynäkologie
2004
Corpus ID: 22289348
ZusammenfassungEs besteht kein beweisender Anhaltspunkt dafür, daß die kongenitale Pseudoerosion (Fischel) in die Pseudoerosion…
Expand
Highly Cited
1997
Highly Cited
1997
Complete Representations in Algebraic Logic
R. Hirsch
,
I. Hodkinson
J. Symb. Log.
1997
Corpus ID: 11613991
A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class…
Expand
Highly Cited
1995
Highly Cited
1995
Sahlqvist's theorem for boolean algebras with operators with an application to cylindric algebras
M. de Rijke
,
Y. Venema
Stud Logica
1995
Corpus ID: 18760824
For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist…
Expand
Highly Cited
1993
Highly Cited
1993
On connections between information systems, rough sets and algebraic logic
S. D. Comer
1993
Corpus ID: 5121683
In this note we remark upon some relationships between the ideas of an approximation space and rough sets due to Pawlak ([9] and…
Expand
Highly Cited
1984
Highly Cited
1984
The Relational Model of Data and Cylindric Algebras
T. Imielinski
,
W. Lipski
J. Comput. Syst. Sci.
1984
Corpus ID: 9824447
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE