Generalized arithmetic progression - PDFSEARCH.IO - Document Search Engine

Generalized arithmetic progression
Results: 5

#	Item
1	J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version Add to Reading List Source URL: www.labri.fr Language: English - Date: 2014-03-17 06:03:51 Mathematics Algebra Mathematical logic Logic in computer science Model theory Proof theory Presburger arithmetic Time complexity Generalized arithmetic progression Polynomial Vector space Lattice
2	Decision Procedures for Multisets with Cardinality Constraints Ruzica Piskac and Viktor Kuncak School of Computer and Communication Science ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-12-11 06:05:40 Cardinality Set Combination Boolean satisfiability problem Generalized arithmetic progression Permutation Polynomial Mathematics Combinatorics Multiset
3	MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Metalogic Model theory Multiset NP-complete problems Presburger arithmetic Satisfiability Modulo Theories Cardinality Generalized arithmetic progression Mathematics Mathematical logic Theoretical computer science
4	A NOTE ON THE EQUIVALENCE OF MOTZKIN’S MAXIMAL DENSITY AND RUZSA’S MEASURES OF INTERSECTIVITY R. K. PANDEY Abstract. In this short note, we see the equivalence of Motzkin’s maximal density of integral sets whose no Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2014-04-14 06:30:34 Combinatorics Algebraic number theory Natural density Coprime Generalized arithmetic progression Integer Mathematics Abstract algebra Number theory
5	PDF Document Add to Reading List Source URL: people.math.gatech.edu Language: English - Date: 2008-05-19 13:54:34 Ramsey theory Integer sequences Additive combinatorics Additive number theory Green–Tao theorem Hales–Jewett theorem Analytic number theory Prime number Generalized arithmetic progression Mathematics Combinatorics Discrete mathematics