Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (Q5327451): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
EloiFerrer (talk | contribs) Merged Item from Q5501764 |
||||||||||||||
| aliases / en / 0 | aliases / en / 0 | ||||||||||||||
PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS | |||||||||||||||
| description / en | description / en | ||||||||||||||
scientific article; zbMATH DE number 6472560 | |||||||||||||||
| Property / title | |||||||||||||||
PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS (English) | |||||||||||||||
| Property / title: PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH Open document ID | |||||||||||||||
| Property / zbMATH Open document ID: 1353.03074 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / DOI | |||||||||||||||
| Property / DOI: 10.1017/jsl.2015.4 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / published in | |||||||||||||||
| Property / published in: The Journal of Symbolic Logic / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / publication date | |||||||||||||||
14 August 2015
| |||||||||||||||
| Property / publication date: 14 August 2015 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH DE Number | |||||||||||||||
| Property / zbMATH DE Number: 6472560 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / OpenAlex ID | |||||||||||||||
| Property / OpenAlex ID: W2502236103 / 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 | |||||||||||||||
Latest revision as of 10:24, 6 May 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 |
|
Statements
Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (English)
0 references
PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS (English)
0 references
7 August 2013
0 references
14 August 2015
0 references
Ehrhart polynomials
0 references
generating functions
0 references
Presburger arithmetic
0 references
quasi-polynomials
0 references
computational complexity
0 references
