Number of the records: 1
Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker
- 1.Ratschan, Stefan
Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker.
[International Workshop on Satisfiability Checking and Symbolic Computation /7./. Haifa, 12.08.2022-12.08.2022]
Method of presentation: Zvaná přednáška
URL events: http://www.sc-square.org/CSA/workshop7.html
https://hdl.handle.net/11104/0333576
Number of the records: 1