REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Quantifier Elimination-based Parametric Solving in Term Algebras

Bibliographic information

AuthorHoffelner, Christian
TitleQuantifier Elimination-based Parametric Solving in Term Algebras
TypeDiploma Thesis
SchoolFMI, Universität Passau
AddressD-94030 Passau, Germany
Monthjul
Year2005
PubtypeMastersThesis

Additional data alphabetic by keywords

Contexttalp
Domainterms
FileidHoffelner_05
NameHoffelner
Pdffilehttp://redlog.dolzmann.de/remis/paper/Hoffelner_05/dt.pdf
Statusredlog system
XtitleQuantifier Elimination-based Parametric Solving in Term Algebras

Cited REMIS examples


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