Büchi arithmetic is a form of arithmetic that can be used to describe sets of natural numbers, particularly in the context of certain types of logic and formal systems. It is named after the Swiss mathematician Julius Richard Büchi, who made significant contributions to the field of theoretical computer science, especially in relation to automata theory and definability.
Articles by others on the same topic
There are currently no matching articles.