Effective quantifier elimination over real closed fields

N Vorobjov

Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

Original language	English
Title of host publication	Computer Science Logic, Proceedings
Pages	545-545
Number of pages	1
Volume	2803
Publication status	Published - 2003

Name	Lecture Notes in Computer Science

ID number: ISI:000186104600045

Cite this

@inbook{0b414c679c8b4436ad278c0bf79daf70,

title = "Effective quantifier elimination over real closed fields",

author = "N Vorobjov",

note = "ID number: ISI:000186104600045",

year = "2003",

language = "English",

isbn = "0302-9743",

volume = "2803",

series = "Lecture Notes in Computer Science",

pages = "545--545",

booktitle = "Computer Science Logic, Proceedings",

}