Deciding whether the ordering is necessary in a Presburger formula
Automata, Logic and Semantics
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Discrete Mathematics & Theoretical Computer Science
2010-01-01
|
| Series: | Discrete Mathematics & Theoretical Computer Science |
| Subjects: | |
| Online Access: | https://dmtcs.episciences.org/510/pdf |
| _version_ | 1827323897631997952 |
|---|---|
| author | Christian Choffrut Achille Frigeri |
| author_facet | Christian Choffrut Achille Frigeri |
| author_sort | Christian Choffrut |
| collection | DOAJ |
| description | Automata, Logic and Semantics |
| first_indexed | 2024-04-25T01:59:59Z |
| format | Article |
| id | doaj.art-d02c4e906712430b9264f963162c3aad |
| institution | Directory Open Access Journal |
| issn | 1365-8050 |
| language | English |
| last_indexed | 2024-04-25T01:59:59Z |
| publishDate | 2010-01-01 |
| publisher | Discrete Mathematics & Theoretical Computer Science |
| record_format | Article |
| series | Discrete Mathematics & Theoretical Computer Science |
| spelling | doaj.art-d02c4e906712430b9264f963162c3aad2024-03-07T15:14:59ZengDiscrete Mathematics & Theoretical Computer ScienceDiscrete Mathematics & Theoretical Computer Science1365-80502010-01-01Vol. 12 no. 1Automata, Logic and Semantics10.46298/dmtcs.510510Deciding whether the ordering is necessary in a Presburger formulaChristian Choffrut0Achille Frigeri1Laboratoire d'informatique Algorithmique : Fondements et ApplicationsDipartimento di Matematica, "Francesco Brioschi"Automata, Logic and Semanticshttps://dmtcs.episciences.org/510/pdfpresburger arithmetics[info.info-dm] computer science [cs]/discrete mathematics [cs.dm] |
| spellingShingle | Christian Choffrut Achille Frigeri Deciding whether the ordering is necessary in a Presburger formula Discrete Mathematics & Theoretical Computer Science presburger arithmetics [info.info-dm] computer science [cs]/discrete mathematics [cs.dm] |
| title | Deciding whether the ordering is necessary in a Presburger formula |
| title_full | Deciding whether the ordering is necessary in a Presburger formula |
| title_fullStr | Deciding whether the ordering is necessary in a Presburger formula |
| title_full_unstemmed | Deciding whether the ordering is necessary in a Presburger formula |
| title_short | Deciding whether the ordering is necessary in a Presburger formula |
| title_sort | deciding whether the ordering is necessary in a presburger formula |
| topic | presburger arithmetics [info.info-dm] computer science [cs]/discrete mathematics [cs.dm] |
| url | https://dmtcs.episciences.org/510/pdf |
| work_keys_str_mv | AT christianchoffrut decidingwhethertheorderingisnecessaryinapresburgerformula AT achillefrigeri decidingwhethertheorderingisnecessaryinapresburgerformula |