Počet záznamů: 1
Deciding Predicate Logical Theories Of Real-Valued Functions
- 1.
SYSNO 0579461 Název Deciding Predicate Logical Theories Of Real-Valued Functions Tvůrce(i) Ratschan, Stefan (UIVT-O) SAI, RID, ORCID Zdroj.dok. 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). - Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023 / Leroux J. ; Lombardy S. ; Peleg D. Konference MFCS 2023: International Symposium on Mathematical Foundations of Computer Science /48./, 28.08.2023 - 01.09.2023, Bordeaux Číslo článku 76 Druh dok. Konferenční příspěvek (zahraniční konf.) Grant GA21-09458S GA ČR - Grantová agentura ČR, CZ - Česká republika Institucionální podpora UIVT-O - RVO:67985807 Jazyk dok. eng Země vyd. DE Klíč.slova decision procedures * first-order predicate logical theories * real numbers * real-valued functions Jiné zdroje https://arxiv.org/abs/2306.16505 URL https://doi.org/10.4230/LIPIcs.MFCS.2023.76 Trvalý link https://hdl.handle.net/11104/0348265 Název souboru Staženo Velikost Komentář Verze Přístup 0579461-aoa.pdf 2 730.8 KB OA CC BY 4.0 Vydavatelský postprint povolen
Počet záznamů: 1