Presburger arithmetic

https://www.wikidata.org/wiki/Q956059

Field Hierarchy

Parent
Computer science 62.3M papers	Mathematics 22M papers	Algorithm 4.6M papers	Discrete mathematics 691k papers
Theoretical computer science 619k papers		Decidability 11.6k papers
Current
Presburger arithmetic 342 papers
Child

Trends

Notes

History