Decidability bounds for Presburger arithmetic extended by sine.

Eion Blanchard Philipp Hieronymi

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

presburger arithmetic
decision procedures
quantifier elimination
lower bound
description logics
query answering
constraint propagation
algebraic structure
knowledge base
theorem proving