Number of the records: 1
Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker
- 1.Ratschan, S. Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker [zvaná přednáška]. Haifa, International Workshop on Satisfiability Checking and Symbolic Computation /7./, 12.08.2022-12.08.2022.
Number of the records: 1