Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable

Franek Peter



Název
Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable
Autor
lupa Franek Peter UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa Ratschan Stefan UIVT-O - Ústav informatiky AV ČR, v. v. i.
lupa Zgliczynski P.
Zdroj.dok.
lupa Mathematical Foundations of Computer Science 2011. S. 315-326. - Berlin : Springer, 2011 / Murlak F. ; Sankowski P.
Vyd.údaje
12 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
DE
Klíč.slova
decidability * logical theories * real numbers
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0202562