Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,298,471 papers from all fields of science
Search
Sign In
Create Free Account
Büchi arithmetic
Known as:
Buchi arithmetic
Büchi arithmetic of base k is the first-order theory of the natural numbers with addition and the function which is defined as the largest power of k…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Automata theory
Automatic sequence
Peano axioms
Presburger arithmetic
Broader (1)
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
The Kepler Problem: Polynomial Algebra of Nonpolynomial First Integrals
A. Tsiganov
Regulârnaâ i haoticeskaâ dinamika
2019
Corpus ID: 84846353
The sum of elliptic integrals simultaneously determines orbits in the Kepler problem and the addition of divisors on elliptic…
Expand
2015
2015
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving
Lydia Jaß
,
Paula Herber
International Conference on Exploring Services…
2015
Corpus ID: 4944789
Hardware/software codesigns are often modeled with the system level design language SystemC. Especially for safety critical…
Expand
2015
2015
COMPARISON OF CONSTRUCTIVE MULTI-TYPED THEORY WITH SUBSYSTEMS OF SECOND ORDER ARITHMETIC
F. Kachapova
2015
Corpus ID: 118275711
This paper describes an axiomatic theory BT for constructive mathematics. BT has a predicative comprehension axiom for a…
Expand
2014
2014
Paraconsistent Logic for Dialethic Arithmetics
A. Tedder
2014
Corpus ID: 125801693
2013
2013
Strong laws of large numbers for t-norm-based addition of fuzzy set-valued random variables
D. Hong
Fuzzy Sets Syst.
2013
Corpus ID: 20437803
2013
2013
Comparison of diagnostic value of two VBM arithmetics for MRI of Alzheimer's disease
K. Zhou
2013
Corpus ID: 148309676
Objective To compare two VBM arithmetics based on MRI of Alzheimer's disease(AD). Methods MRI of 14 AD patients and 23 healthy…
Expand
2012
2012
Edwards model of elliptic curves de ned over any elds
Oumar Diao
,
Emmanuel Fouotsa
2012
Corpus ID: 16540452
In this paper, we present a generalization of Edwards model for elliptic curve which is de ned over any eld and in particular for…
Expand
Review
2007
Review
2007
Fuzzy load flow based on α-cuts arithmetics
M. Cortes-Carmona
,
R. Palma-Behnke
,
G. Jiménez‐Estévez
North American Power Symposium
2007
Corpus ID: 32256102
In order to solve the load flow problem under uncertainty, a novel algorithm is presented. This proposal uses the fuzzy number…
Expand
2005
2005
CLASSICAL ARITHMETIC IS QUITE UNNATURAL 1
J. P. Bendegem
2005
Corpus ID: 53555126
It is a generally accepted idea that strict finitism is a rather marginal view within the community of philosophers of…
Expand
1997
1997
Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
A. Bès
Journal of Symbolic Logic (JSL)
1997
Corpus ID: 31780865
Abstract Let k and l be two multiplicatively independent integers, and let L ⊆ ℕn be a l-recognizable set which is not definable…
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