Pracownicy wydziału

Pracownicy emerytowani

Osoby związane z wydziałem

Byli doktoranci

Granty i Nagrody

Stefan Ratschan

Jednostki:

Publikacje

Publikacje:

2.

Stefan Ratschan , Peter Franek, Piotr Zgliczyński

Quasi-decidability of a Fragment of the Analytic First-order Theory of Real Numbers, Journal of Automated Reasoning vol. 57 (2016), 157-185

1.

Stefan Ratschan , Peter Franek, Piotr Zgliczyński

Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable , Lecture Notes in Computer Science vol. 6907 (2011), 315-326