Deciding Predicate Logical Theories Of Real-Valued Functions

Počet záznamů: 1

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