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

Bibliografické údaje

Autoři

• doc. Dipl. Ing. Stefan Ratschan, Dr. tech.

Rok vydání

2022

Typ publikace

Abstrakt

Bibliografická citace

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