Basket

    1.
    0560723 - ÚI 2023 eng A - Abstract
    Ratschan, Stefan
    Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker.
    [International Workshop on Satisfiability Checking and Symbolic Computation /7./. Haifa, 12.08.2022-12.08.2022]
    Method of presentation: Zvaná přednáška
    URL events: http://www.sc-square.org/CSA/workshop7.html 
    Institutional support: RVO:67985807
    Permanent Link: https://hdl.handle.net/11104/0333576
     
     

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

Accept allSettingsReject all