Zobrazeno 1 - 10
of 35
pro vyhledávání: '"Decidable theories"'
Autor:
Buriola, Gabriele a, ⁎, Cantone, Domenico b, Cincotti, Gianluca b, Omodeo, Eugenio G. c, Spartà, Gaetano T. d
Publikováno v:
In Theoretical Computer Science 9 January 2023 940 Part A:124-148
Autor:
Scarpellini, Bruno
Publikováno v:
Transactions of the American Mathematical Society, 1984 Jul 01. 284(1), 203-218.
Externí odkaz:
https://www.jstor.org/stable/1999283
Autor:
Hrushovski, Ehud a, 1, Point, Françoise b, ⁎, 2
Publikováno v:
In Journal of Algebra 2007 315(1):76-120
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Scopus-Elsevier
We enrich a pre-existing decision algorithm, which in its turn augmented a fragment of Tarski’s elementary algebra with one-argument functions enjoying significant properties such as continuity and differentiability. We also pave the way to further
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::13fa0d83e24a1152814512dc1422d058
https://hdl.handle.net/11368/2978349
https://hdl.handle.net/11368/2978349
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Mundici, Daniele 1, a, *, Panti, Giovanni b
Publikováno v:
In Annals of Pure and Applied Logic 2001 108(1):269-278
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.