The Library
On the power of ordering in linear arithmetic theories
Tools
Chistikov, Dmitry and Haase, Christoph (2020) On the power of ordering in linear arithmetic theories. In: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 8-11 Jul 2020. Published in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) pp. 1-15. ISBN 9783959771382. doi:10.4230/LIPIcs.ICALP.2020.119 ISSN 1868-8969.
|
PDF
WRAP-on-power-ordering-linear-arithmetic-theories-Chistikov-2020.pdf - Published Version - Requires a PDF viewer. Available under License Creative Commons Attribution 4.0. Download (740Kb) | Preview |
|
PDF
WRAP-on-power-ordering-linear-arithmetic-theories-Chistikov-2020.pdf - Accepted Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (1252Kb) |
Official URL: http://dx.doi.org/10.4230/LIPIcs.ICALP.2020.119
Item Type: | Conference Item (Paper) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics | ||||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||||
Library of Congress Subject Headings (LCSH): | Definability theory (Mathematical logic), Linear algebraic groups, Semigroups | ||||||
Series Name: | Leibniz International Proceedings in Informatics (LIPIcs) | ||||||
Journal or Publication Title: | 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) | ||||||
Publisher: | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | ||||||
ISBN: | 9783959771382 | ||||||
ISSN: | 1868-8969 | ||||||
Official Date: | 2020 | ||||||
Dates: |
|
||||||
Page Range: | pp. 1-15 | ||||||
Article Number: | 119 | ||||||
DOI: | 10.4230/LIPIcs.ICALP.2020.119 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Access rights to Published version: | Open Access (Creative Commons) | ||||||
Date of first compliant deposit: | 12 May 2020 | ||||||
Date of first compliant Open Access: | 14 May 2020 | ||||||
RIOXX Funder/Project Grant: |
|
||||||
Conference Paper Type: | Paper | ||||||
Title of Event: | 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) | ||||||
Type of Event: | Conference | ||||||
Date(s) of Event: | 8-11 Jul 2020 | ||||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year