REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Integration of quantifier elimination with constraint logic programming

Bibliographic information

AuthorSturm, Thomas
TitleIntegration of quantifier elimination with constraint logic programming
SeriesLecture Notes in Artificial Intelligence (Subseries of LNCS)
Volume2385
EditorJacques Calmet et al.
BooktitleArtificial Intelligence, Automated Reasoning, and Symbolic Computation. Joint International Conference, AISC 2002 and Calculemus 2002 Marseille France, July 1-5, 2002 Proceedings
Pages7-11
PublisherSpringer-Verlag
AddressBerlin, Heideberg
Year2002
Issn0302-9743
PubtypeInCollection
PreprintSturm_02

Additional data alphabetic by keywords

Contextofsf, dvfsf
Domainreals, padics
FileidSturm_02b
NameSturm
Nodoihttp://www.springerlink.com/content/vvh5t7tpfbg8ykph/
Statusredlog application
XtitleIntegration of quantifier elimination with constraint logic programming

Quantifier Elimination-Based Constraint Logic Programming

Bibliographic information

AuthorSturm, Thomas
TitleQuantifier Elimination-Based Constraint Logic Programming
TypeTechnical Report
NumberMIP-0202
InstitutionFMI, Universit\"at Passau
AddressD-94030 Passau, Germany
Monthjan
Year2002
PubtypeTechReport
PublicationSturm_02b

Additional data alphabetic by keywords

Contextofsf, dvfsf
Domainreals, padics
FileidSturm_02
NameSturm
Statusredlog application
XtitleQuantifier Elimination-Based Constraint Logic Programming (Technical Report)

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