Výsledky vyhledávání
- 1.0579461 - ÚI 2024 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan
Deciding Predicate Logical Theories Of Real-Valued Functions.
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.), č. článku 76. Leibniz International Proceedings in Informatics, 272. ISBN 978-3-95977-292-1. ISSN 1868-8969.
[MFCS 2023: International Symposium on Mathematical Foundations of Computer Science /48./. Bordeaux (FR), 28.08.2023-01.09.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: decision procedures * first-order predicate logical theories * real numbers * real-valued functions
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.MFCS.2023.76
Trvalý link: https://hdl.handle.net/11104/0348265Název souboru Staženo Velikost Komentář Verze Přístup 0579461-aoa.pdf 2 730.8 KB OA CC BY 4.0 Vydavatelský postprint povolen
Vědecká data: ArXiv.org (preprint) - 2.0368130 - ÚI 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Franek, Peter - Ratschan, Stefan - Zgliczynski, P.
Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable.
Mathematical Foundations of Computer Science 2011. Berlin: Springer, 2011 - (Murlak, F.; Sankowski, P.), s. 315-326. Lecture Notes in Computer Science, 6907. ISBN 978-3-642-22992-3. ISSN 0302-9743.
[MFCS 2011. International Symposium /36./. Warsaw (PL), 22.08.2011-26.08.2011]
Grant CEP: GA MŠMT OC10048
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: decidability * logical theories * real numbers
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0202562Název souboru Staženo Velikost Komentář Verze Přístup a0368130.pdf 2 216 KB Vydavatelský postprint vyžádat