Deciding whether the ordering is necessary in a Presburger formula

Deciding whether the ordering is necessary in a Presburger formula

Automata, Logic and Semantics

Bibliographic Details
Main Authors: Christian Choffrut, Achille Frigeri
Format: Article
Language:English
Published: Discrete Mathematics & Theoretical Computer Science 2010-01-01
Series:Discrete Mathematics & Theoretical Computer Science
Subjects:
presburger arithmetics
[info.info-dm] computer science [cs]/discrete mathematics [cs.dm]
Online Access:https://dmtcs.episciences.org/510/pdf
Description
Summary:Automata, Logic and Semantics
ISSN:1365-8050

Similar Items