Quantifier elimination
Saved in:
Published in | ISILC Logic Conference pp. 426 - 444 |
---|---|
Main Author | |
Format | Book Chapter |
Language | English |
Published |
Berlin, Heidelberg
Springer Berlin Heidelberg
20.09.2006
|
Series | Lecture Notes in Mathematics |
Subjects | |
Online Access | Get full text |
Cover
Loading…
ISBN: | 9783540075349 3540075348 |
---|---|
ISSN: | 0075-8434 1617-9692 |
DOI: | 10.1007/BFb0079427 |