Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (Q5327451): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS
@@ description / en / description / en @@
-scientific article; zbMATH DE number 6196349
+scientific article; zbMATH DE number 6472560
@@ Property / author @@
-Kevin M. Woods
@@ Property / author: Kevin M. Woods / rank @@
-Normal rank
@@ Property / title @@
+PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.03074
@@ Property / zbMATH Open document ID: 1353.03074 / rank @@
+Normal rank
@@ Property / DOI @@
+.1017/JSL.2015.4
@@ Property / DOI: 10.1017/JSL.2015.4 / rank @@
+Normal rank
@@ Property / published in @@
+The Journal of Symbolic Logic
@@ Property / published in: The Journal of Symbolic Logic / rank @@
+Normal rank
@@ Property / publication date @@
+August 2015Timestamp +2015-08-14T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2015-08-14T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 14 August 2015 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6472560
@@ Property / zbMATH DE Number: 6472560 / rank @@
+Normal rank
@@ Property / author @@
+Kevin M. Woods
@@ Property / author: Kevin M. Woods / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1932285788
@@ Property / OpenAlex ID: W1932285788 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2502236103
@@ Property / OpenAlex ID: W2502236103 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0020
@@ Property / arXiv ID: 1211.0020 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Ehrhart polynomials
@@ Property / zbMATH Keywords: Ehrhart polynomials / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generating functions
@@ Property / zbMATH Keywords: generating functions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Presburger arithmetic
@@ Property / zbMATH Keywords: Presburger arithmetic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quasi-polynomials
@@ Property / zbMATH Keywords: quasi-polynomials / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computational complexity
@@ Property / zbMATH Keywords: computational complexity / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of logical theories
@@ Property / cites work: The computational complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+A Geometric Buchberger Algorithm for Integer Programming
+Normal rank
@@ Property / cites work @@
+Short rational functions for toric algebra and applications
+Normal rank
@@ Property / cites work @@
+Q4861423
@@ Property / cites work: Q4861423 / rank @@
+Normal rank
@@ Property / cites work @@
+On vector partition functions
@@ Property / cites work: On vector partition functions / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-polynomials, linear Diophantine equations and semi-linear sets
+Normal rank
@@ Property / cites work @@
+Decompositions of Rational Convex Polytopes
@@ Property / cites work: Decompositions of Rational Convex Polytopes / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial optimization. Polyhedra and efficiency (3 volumes)
+Normal rank
@@ Property / cites work @@
+On the base-dependence of sets of numbers recognizable by finite automata
+Normal rank
@@ Property / cites work @@
+Complexity of Presburger arithmetic with fixed quantifier dimension
+Normal rank
@@ Property / cites work @@
+Q4401029
@@ Property / cites work: Q4401029 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5704414
@@ Property / cites work: Q5704414 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation
+Normal rank
@@ Property / cites work @@
+Counting with rational generating functions
@@ Property / cites work: Counting with rational generating functions / rank @@
+Normal rank
@@ Property / cites work @@
+A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
+Normal rank
@@ Property / cites work @@
+COUNTING NUMERICAL SEMIGROUPS WITH SHORT GENERATING FUNCTIONS
+Normal rank
@@ Property / cites work @@
+Q5462454
@@ Property / cites work: Q5462454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530626
@@ Property / cites work: Q4530626 / rank @@
+Normal rank
@@ Property / cites work @@
+The partial-fractions method for counting solutions to integral linear systems
+Normal rank
@@ Property / cites work @@
+Integer Programming with a Fixed Number of Variables
+Normal rank
@@ Property / cites work @@
+Short rational generating functions for lattice point problems
+Normal rank
@@ Property / cites work @@
+Q4790110
@@ Property / cites work: Q4790110 / rank @@
+Normal rank
@@ Property / cites work @@
+Subclasses of presburger arithmetic and the weak EXP hierarchy
+Normal rank
@@ Property / cites work @@
+A Polynomial Time Algorithm for Counting Integral Points in Polyhedra When the Dimension is Fixed
+Normal rank
@@ Property / cites work @@
+Lattice point methods for combinatorial games
@@ Property / cites work: Lattice point methods for combinatorial games / rank @@
+Normal rank
@@ Property / cites work @@
+Dominoes and the complexity of subclasses of logical theories
+Normal rank
@@ Property / cites work @@
+Subclasses of Presburger arithmetic and the polynomial-time hierarchy
+Normal rank
@@ Property / cites work @@
+On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of Presburger arithmetic with bounded quantifier alternation depth
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5327451

Latest revision as of 17:06, 30 December 2024

scientific article; zbMATH DE number 6472560

PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS

Language	Label	Description	Also known as
English	Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials	scientific article; zbMATH DE number 6472560	PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS