Results 191 to 200 of about 2,771 (212)
Some of the next articles are maybe not open access.
A short and constructive proof of Tarski’s fixed-point theorem
International Journal of Game Theory, 2005Federico Echenique, Echenique Federico
exaly
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets
2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022Zoltán Kovács +3 more
openaire +1 more source
On the ‘Definability of Definable’ Problem of Alfred Tarski
Mathematics, 2020Vladimir Kanovei +2 more
exaly

