Počet záznamů: 1
Deciding Predicate Logical Theories Of Real-Valued Functions
SYS 0579461 LBL 01000a^^22220027750^450 005 20240402214913.1 014 $a 85171442666 $2 SCOPUS 017 $a 10.4230/LIPIcs.MFCS.2023.76 $2 DOI 100 $a 20231213d m y slo 03 ba 101 $a eng 102 $a DE 200 1-
$a Deciding Predicate Logical Theories Of Real-Valued Functions 215 $a 15 s. $c E 463 -1
$1 001 cav_un_epca*0581687 $1 010 $a 978-3-95977-292-1 $1 011 $a 1868-8969 $1 200 1 $a 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) $1 210 $a Dagstuhl $c Schloss Dagstuhl - Leibniz-Zentrum für Informatik $d 2023 $1 225 $a Leibniz International Proceedings in Informatics $v 272 $1 702 1 $a Leroux $b J. $4 340 $1 702 1 $a Lombardy $b S. $4 340 $1 702 1 $a Peleg $b D. $4 340 610 $a decision procedures 610 $a first-order predicate logical theories 610 $a real numbers 610 $a real-valued functions 700 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $p UIVT-O $i Oddělení výpočetní matematiky $j Department of Computational Mathematics $w Department of Computational Mathematics $y AT $T Ústav informatiky AV ČR, v. v. i. 856 $u https://doi.org/10.4230/LIPIcs.MFCS.2023.76 $9 RIV
Počet záznamů: 1