Počet záznamů: 1
Deciding Predicate Logical Theories Of Real-Valued Functions
- 1.Ratschan, S. Deciding Predicate Logical Theories Of Real-Valued Functions. In: LEROUX, J., LOMBARDY, S., PELEG, D., eds. 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, č. článku 76. Leibniz International Proceedings in Informatics, 272. ISBN 978-3-95977-292-1. ISSN 1868-8969. Dostupné z: doi: 10.4230/LIPIcs.MFCS.2023.76.
Počet záznamů: 1