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: Leibniz International Proceedings in Informatics (LIPIcs) ISSN 1868-8969. (In Press)
|
PDF
WRAP-on-power-ordering-linear-arithmetic-theories-Chistikov-2020.pdf - Accepted Version - Requires a PDF viewer. Download (1252Kb) | Preview |
| 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 | ||||||
| Journal or Publication Title: | Leibniz International Proceedings in Informatics (LIPIcs) | ||||||
| Publisher: | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | ||||||
| ISSN: | 1868-8969 | ||||||
| Official Date: | 2020 | ||||||
| Dates: |
|
||||||
| Date of first compliant deposit: | 12 May 2020 | ||||||
| Status: | Peer Reviewed | ||||||
| Publication Status: | In Press | ||||||
| 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 |
Downloads
Downloads per month over past year
