On the existential theories of Büchi arithmetic and linear p-adic fields

On the existential theories of Büchi arithmetic and linear p-adic fields

We consider the complexity of the satisfiability problems for the existential fragment of Büchi arithmetic and for the existential fragment of linear arithmetic over p-adic fields. Our main results are that both problems are NP-complete. The NP upper bound for existential linear arithmetic over p-ad...

Detaylı Bibliyografya
Asıl Yazarlar:	Guépin, F, Haase, C, Worrell, J
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	IEEE 2019

Benzer Materyaller

On the expressiveness of Büchi arithmetic
Yazar:: Haase, C, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

On deciding linear arithmetic constraints over -adic integers for all primes
Yazar:: Haase, C, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Rational number arithmetic by Parallel P-adic Algorithms /
Yazar:: 284588 Limongeli, Carla, ve diğerleri

Almost Linear Büchi Automata
Yazar:: Tomáš Babiak, ve diğerleri
Baskı/Yayın Bilgisi: (2009-11-01)

Markov chains and unambiguous Büchi automata
Yazar:: Baier, C, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Markov Chains and Unambiguous Büchi Automata
Yazar:: Kiefer, S, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

On sections of arithmetic fundamental groups of open $p$-adic annuli
Yazar:: Saïdi, Mohamed
Baskı/Yayın Bilgisi: (2022-03-01)

On the p-adic zeros of the Tribonacci sequence
Yazar:: Bilu, Y, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

The implementation of p-adic conversion of rational numbers and its arithmetic operations /
Yazar:: Muhammad Saiful Adham Shukor, 1992-, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Coleman–Weinberg potential in p-adic field theory
Yazar:: Dmitry S. Ageev, ve diğerleri
Baskı/Yayın Bilgisi: (2020-09-01)

Parallel Implementation of Exact Matrix Computation Using Multiple P-adic Arithmetic
Yazar:: Xinkai Li, ve diğerleri
Baskı/Yayın Bilgisi: (2013-07-01)

Pemodelan logika pemeriksaan temporal linier dengan buchi automata=Logic checking linear temporal with buchi automata
Yazar:: Perpustakaan UGM, i-lib
Baskı/Yayın Bilgisi: (2005)

Büchi AG
Yazar:: David Spichiger
Baskı/Yayın Bilgisi: (2023-03-01)

Büchi AG
Yazar:: David Spichiger
Baskı/Yayın Bilgisi: (2023-03-01)

Büchi AG
Yazar:: David Spichiger
Baskı/Yayın Bilgisi: (2023-03-01)

Büchi AG
Yazar:: David Spichiger
Baskı/Yayın Bilgisi: (2023-08-01)

Surfaces and p-adic fields
Yazar:: Gropper, N
Baskı/Yayın Bilgisi: (2022)

Geometric decision procedures and the VC dimension of linear arithmetic theories
Yazar:: Chistikov, D, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

p-Adic Fractional Pseudodifferential Equations and Sobolev Type Spaces over p-Adic Fields
Yazar:: Bo Wu
Baskı/Yayın Bilgisi: (2013-01-01)

Topics in the theory of p-adic heights on elliptic curves
Yazar:: Bianchi, F
Baskı/Yayın Bilgisi: (2019)

Duality theory of $p$-adic Hopf algebras
Yazar:: Tomoki Mihara
Baskı/Yayın Bilgisi: (2021-01-01)

P-adic numbers, P-adic analysis and zeta-functions /
Yazar:: 465056 Koblitz, Neal
Baskı/Yayın Bilgisi: (1977)

Büchi objectives in countable MDPs
Yazar:: Kiefer, S, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields
Yazar:: Derakhshan, J, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Reconstructing D-cap from p-adic Hodge theory
Yazar:: Wiersig, F
Baskı/Yayın Bilgisi: (2024)

Some new directions in p-adic Hodge theory
Yazar:: Kedlaya, Kiran S.
Baskı/Yayın Bilgisi: (2012)

$p$-ADIC HODGE THEORY FOR RIGID-ANALYTIC VARIETIES
Yazar:: PETER SCHOLZE
Baskı/Yayın Bilgisi: (2013-01-01)

Nearly Quadratic Mappings over p-Adic Fields
Yazar:: M. Eshaghi Gordji, ve diğerleri
Baskı/Yayın Bilgisi: (2012-01-01)

On dynamical systems induced by p-adic number fields
Yazar:: Ilwoo Cho
Baskı/Yayın Bilgisi: (2015-01-01)

Cell decomposition for semiaffine structures on p-adic fields
Yazar:: Eva Leenknegt
Baskı/Yayın Bilgisi: (2012-08-01)

On the decidability of the field of maximal abelian extension of p-adic numbers
Yazar:: Wang, C
Baskı/Yayın Bilgisi: (2018)

The logical strength of Büchi's decidability theorem
Yazar:: Kolodziejczyk, L, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

The logical strength of Büchi's decidability theorem
Yazar:: Kolodziejczyk, L, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Learn with SAT to Minimize Büchi Automata
Yazar:: Stephan Barth, ve diğerleri
Baskı/Yayın Bilgisi: (2012-10-01)

Construction of p-Adic Gibbs Measure for p-Adic λ-Ising Model
Yazar:: Mutlay Dogan
Baskı/Yayın Bilgisi: (2017-09-01)

Computing p-adic L-functions of totally real fields
Yazar:: Lauder, A, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Mirror symmetry and the K theory of a p-adic group
Yazar:: Vaintrob, Dmitry
Baskı/Yayın Bilgisi: (2016)

$p$ -ADIC HODGE THEORY FOR RIGID-ANALYTIC VARIETIES – CORRIGENDUM
Yazar:: PETER SCHOLZE
Baskı/Yayın Bilgisi: (2016-01-01)

Valued fields: p-adic numbers as a case study
Yazar:: Song, Ruiqi
Baskı/Yayın Bilgisi: (2023)

Oxetane Synthesis through the Paternò-Büchi Reaction
Yazar:: Maurizio D'Auria, ve diğerleri
Baskı/Yayın Bilgisi: (2013-09-01)