Number of the records: 1  

Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker

    1.
    SYSNO0560723
    TitleNon-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker
    Author(s) Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
    Conference International Workshop on Satisfiability Checking and Symbolic Computation /7./, 12.08.2022 - 12.08.2022, Haifa
    Document TypeAbstrakt
    Institutional supportUIVT-O - RVO:67985807
    Languageeng
    Permanent Linkhttps://hdl.handle.net/11104/0333576
     
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