REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Simplification of Quantifier-free Formulae over Ordered Fields

Bibliographic information

AuthorDolzmann, Andreas and Sturm, Thomas
TitleSimplification of Quantifier-free Formulae over Ordered Fields
JournalJournal of Symbolic Computation
Volume24
Number2
Pages209-231
Monthaug
Year1997
PubtypeJournal
Doi10.1006/jsco.1997.0123
PreprintDolzmannSturm_95

Additional data alphabetic by keywords

FileidDolzmannSturm_97c
NameDolzmann, Sturm
Pdffilehttp://redlog.dolzmann.de/remis/paper/DolzmannSturm_97c/DolzmannSturm-97c.pdf
Statusredlog system
XtitleSimplification of Quantifier-free Formulae over Ordered Fields

Simplification of Quantifier-free Formulas over Ordered Fields

Bibliographic information

AuthorDolzmann, Andreas and Sturm, Thomas
TitleSimplification of Quantifier-free Formulas over Ordered Fields
TypeTechnical Report
NumberMIP-9517
InstitutionFMI, Universität Passau
AddressD-94030 Passau, Germany
Monthoct
Year1995
PubtypeTechReport
PublicationDolzmannSturm_97c

Additional data alphabetic by keywords

FileidDolzmannSturm_95
NameDolzmann, Sturm
Pdffilehttp://redlog.dolzmann.de/papers/pdf/MIP-9517.pdf
Psfilehttp://redlog.dolzmann.de/papers/ps/MIP-9517.ps.Z
Statusredlog system
XtitleSimplification of Quantifier-free Formulas over Ordered Fields (Technical Report)

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