Number of the records: 1  

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

    1.
    SYSNO0368130
    TitleSatisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable
    Author(s) Franek, Peter (UIVT-O) RID
    Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
    Zgliczynski, P. (PL)
    Source Title Mathematical Foundations of Computer Science 2011. S. 315-326. - Berlin : Springer, 2011 / Murlak F. ; Sankowski P.
    Conference MFCS 2011. International Symposium /36./, Warsaw, 22.08.2011-26.08.2011
    Document TypeKonferenční příspěvek (zahraniční konf.)
    Grant OC10048 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Languageeng
    CountryDE
    Keywords decidability * logical theories * real numbers
    Permanent Linkhttp://hdl.handle.net/11104/0202562
    FileDownloadSizeCommentaryVersionAccess
    a0368130.pdf2216 KBPublisher’s postprintrequire
     
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all