Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker

Bibliographic details

Authors

Stefan Ratschan

Publication year

2022

Publication type

Abstrakt

Bibliographic citation

RATSCHAN, Stefan. Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker [zp]. Haifa, International Workshop on Satisfiability Checking and Symbolic Computation /7./, 12.08.2022-12.08.2022.

ID

560723