Discrete Mathematics & Theoretical Computer Science (Jan 2010)

Deciding whether the ordering is necessary in a Presburger formula

Christian Choffrut,
Achille Frigeri

Affiliations

Christian Choffrut: Laboratoire d'informatique Algorithmique : Fondements et Applications
Achille Frigeri: Dipartimento di Matematica, "Francesco Brioschi"

DOI: https://doi.org/10.46298/dmtcs.510
Journal volume & issue: Vol. Vol. 12 no. 1, no. Automata, Logic and Semantics

Abstract

Automata, Logic and Semantics

Published in Discrete Mathematics & Theoretical Computer Science

ISSN: 1462-7264 (Print); 1365-8050 (Online)
Publisher: Discrete Mathematics & Theoretical Computer Science
Country of publisher: France
LCC subjects: Science: Mathematics
Website: https://dmtcs.episciences.org/

About the journal