Počet záznamů: 1

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

SYSNO	0368130
Název	Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable
Tvůrce(i)	Franek, Peter (UIVT-O)_RID Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID} Zgliczynski, P. (PL)
Zdroj.dok.	Mathematical Foundations of Computer Science 2011. S. 315-326. - Berlin : Springer, 2011 / Murlak F. ; Sankowski P.
Konference	MFCS 2011. International Symposium /36./, Warsaw, 22.08.2011-26.08.2011
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	OC10048 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	decidability * logical theories * real numbers
Trvalý link	http://hdl.handle.net/11104/0202562

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0368130.pdf	2	216 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1