The Library
On the power of ordering in linear arithmetic theories
Tools
Tools
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. ISSN 1868-8969. doi:10.4230/LIPIcs.ICALP.2020.119
|
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 |
|
![[img]](http://wrap.warwick.ac.uk/style/images/fileicons/application_pdf.png) |
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 > 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 | ||||||
| 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 |
