REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Weak Quantifier Elimination for the Full Linear Theory of the Integers. A Uniform Generalization of Presburger Arithmetic

Bibliographic information

AuthorAless Lasaruk and Thomas Sturm
TitleWeak Quantifier Elimination for the Full Linear Theory of the Integers. A Uniform Generalization of Presburger Arithmetic
TypeTechnical Report
NumberMIP-0604
InstitutionFMI, Universität Passau
AddressD-94030 Passau, Germany
Monthapr
Year2006
NoteTo appear in AAECC
PubtypeTechReport

Additional data alphabetic by keywords

Contextpasf
Domainintegers
FileidLasarukSturm_06
NameLasaruk, Sturm
Nodoihttp://www.fmi.uni-passau.de/forschung/mip-berichte/MIP-0604.html
Pdffilehttp://redlog.dolzmann.de/remis/paper/LasarukSturm_06/MIP-0604.pdf
Statusredlog system
Urlhttp://www.fmi.uni-passau.de/forschung/mip-berichte/
XtitleWeak Quantifier Elimination for the Full Linear Theory of the Integers. A Uniform Generalization of Presburger Arithmetic (Technical Report)

Cited REMIS examples

Other files:

A.D. T.S. www@redlog.eu Validate