Zobrazeno 1 - 10
of 144
pro vyhledávání: '"Computable set"'
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.
Autor:
Agnieszka Peszek, Apoloniusz Tyszka
Publikováno v:
Scientific Annals of Computer Science, Vol XXIX, Iss 1, Pp 101-111 (2019)
Let R be a non-zero subring of Q with or without 1. We assume that for every positive integer n there exists a computable surjection from N onto Rn. Every R \in {Z,Q} satisfies these conditions. Matiyasevich's theorem states that there is no algorit
Externí odkaz:
https://doaj.org/article/75ace09cbf3b45228f70a53ff8392643
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.
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.
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.
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:
Electronic Proceedings in Theoretical Computer Science. 346:195-210
The Satisfiability Modulo Theories (SMT) issue concerns the satisfiability of formulae from multiple background theories, usually expressed in the language of first-order predicate logic with equality. SMT solvers are often based on variants of the N
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59e6d887153bc0001144517143c856e4
https://doi.org/10.4204/eptcs.346.13
https://doi.org/10.4204/eptcs.346.13
Publikováno v:
Fundamenta Informaticae. 181:37-69
We report on an investigation aimed at identifying small fragments of set theory (typically, sublanguages of Multi-Level Syllogistic) endowed with polynomial-time satisfiability decision tests, potentially useful for automated proof verification. Lea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e2b9334ac7f4431879eca0928a54840
https://doi.org/10.3233/fi-2021-2050
https://doi.org/10.3233/fi-2021-2050
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.
Autor:
Zvonko Iljazović, Matea Čelar
Publikováno v:
Theory of Computing Systems. 65:410-427
We examine conditions under which a semicomputable set in a computable topological space is computable. In particular, we examine topological pairs (A, B) with the following property: if X is a computable topological space and $f:A\rightarrow X$ is a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9089bf47da9fb7f8afa3ca3c785db2d0
https://doi.org/10.1007/s00224-020-10017-6
https://doi.org/10.1007/s00224-020-10017-6