Generic Hermitian Quantifier Elimination

Lorenz Alexander Gilch; Andreas Dolzmann

Generic Hermitian Quantifier Elimination

Lorenz Alexander Gilch, Andreas Dolzmann

Institut für Diskrete Mathematik (5050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Proceedings
Redakteure/-innen	Bruno Buchberger, John Campbell
Erscheinungsort	Berlin
Herausgeber (Verlag)	Springer
Seiten	80-93
ISBN (Print)	3-540-23212-5
Publikationsstatus	Veröffentlicht - 2004

Publikationsreihe

Name	Artificial Intelligence and Symbolic Computation
Herausgeber (Verlag)	Springer

Andere Dateien und Links

http://www.math.tugraz.at/~gilch/person/ghermite.ps

Dieses zitieren

Generic Hermitian Quantifier Elimination. / Gilch, Lorenz Alexander; Dolzmann, Andreas.
Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Proceedings. Hrsg. / Bruno Buchberger; John Campbell. Berlin: Springer, 2004. S. 80-93 (Artificial Intelligence and Symbolic Computation).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

@inproceedings{422f9fd6259e4b82ab1db0dce31c4ff2,

title = "Generic Hermitian Quantifier Elimination",

author = "Gilch, {Lorenz Alexander} and Andreas Dolzmann",

year = "2004",

language = "English",

isbn = "3-540-23212-5",

series = "Artificial Intelligence and Symbolic Computation",

publisher = "Springer",

pages = "80--93",

editor = "Bruno Buchberger and John Campbell",

booktitle = "Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Proceedings",

}

TY - GEN

T1 - Generic Hermitian Quantifier Elimination

AU - Gilch, Lorenz Alexander

AU - Dolzmann, Andreas

PY - 2004

Y1 - 2004

UR - http://www.math.tugraz.at/~gilch/person/ghermite.ps

M3 - Conference paper

SN - 3-540-23212-5

T3 - Artificial Intelligence and Symbolic Computation

SP - 80

EP - 93

BT - Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Proceedings

A2 - Buchberger, Bruno

A2 - Campbell, John

PB - Springer

CY - Berlin

ER -