Wydział Matematyki i Informatyki
Uniwersytetu Jagiellońskiego
Logowanie
Publikacje
Czasopisma
Wydawnictwa
Konferencje
Konferencje
Pracownicy
Pracownicy wydziału
Doktoranci
Pracownicy emerytowani
Osoby związane z wydziałem
Byli doktoranci
Urlopy naukowe
Granty i Nagrody
Granty
Nagrody
Postępowania
Doktoraty
Habilitacje
Profesury
Peter Franek
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
7875
6693