Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
The sum of elliptic integrals simultaneously determines orbits in the Kepler problem and the addition of divisors on elliptic… 
2015
2015
Hardware/software codesigns are often modeled with the system level design language SystemC. Especially for safety critical… 
2015
2015
This paper describes an axiomatic theory BT for constructive mathematics. BT has a predicative comprehension axiom for a… 
2013
2013
Objective To compare two VBM arithmetics based on MRI of Alzheimer's disease(AD). Methods MRI of 14 AD patients and 23 healthy… 
2012
2012
In this paper, we present a generalization of Edwards model for elliptic curve which is de ned over any eld and in particular for… 
Review
2007
Review
2007
In order to solve the load flow problem under uncertainty, a novel algorithm is presented. This proposal uses the fuzzy number… 
2005
2005
It is a generally accepted idea that strict finitism is a rather marginal view within the community of philosophers of… 
1997
1997
Abstract Let k and l be two multiplicatively independent integers, and let L ⊆ ℕn be a l-recognizable set which is not definable…