REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

New Domains for Applied Quantifier Elimination

Bibliographic information

AuthorSturm, Thomas
TitleNew Domains for Applied Quantifier Elimination
SeriesLecture Notes in Computer Science
Volume4194
EditorGanzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, E. V.
BooktitleComputer Algebra in Scientific Computing: 9th International Workshop, CASC 2006, Chisinau Moldova, September 11-15, 2006
Pages295-301
PublisherSpringer
AddressBerlin, Heidelberg
Year2006
PubtypeInCollection
Doi10.1007/11870814_25

Additional data alphabetic by keywords

Contextpasf, qqe
Domainintegers, queues
FileidSturm_06
NameSturm
Pdffilehttp://redlog.dolzmann.de/remis/paper/Sturm_06/CASC-2006-Sturm.pdf
Statusredlog system
XtitleNew Domains for Applied Quantifier Elimination

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