Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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

[img]
Preview
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] 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

Request Changes to record.

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:
DateEvent
2020Published
15 April 2020Accepted
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:
Project/Grant IDRIOXX Funder NameFunder ID
852769H2020 European Research Councilhttp://dx.doi.org/10.13039/100010663
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:
  • Publisher
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us