information about Presburger arithmetic field

Field Hierarchy
Parent
Computer science
61.9M papers
Mathematics
21.8M papers
Algorithm
4.6M papers
Decidability
11.5k papers
Current
Presburger arithmetic
338 papers
Child
Trends