On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates.

Nicole Schweikardt

Browse the full WoLLIC paper archive.