Temat: decidability - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "decidability" wg kryterium: Temat

Wyświetlanie 1-10 z 68

Zaznacz

Skocz do pozycji: 1.

Tytuł:: On Hypercomputation, Universal and Diagonalization Complete Problems
Autorzy:: Eberbach, E.
Data publikacji:: 2015
Słowa kluczowe:: problem solving
hypercomputation
S-calculus
undecidability
p-decidability
e-decidability
a-decidability
i-decidability
H-completeness
U-completeness
D-completeness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Propositions, Possible Worlds, and Recursion
Autorzy:: Andrzej Wiśniewski
Data publikacji:: 2011-06-01
Tematy:: Propositions
possible worlds
decidability; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: On the Problem Whether the Image of an N-Rational Series Equals N
Autorzy:: Honkala, J.
Data publikacji:: 2006
Słowa kluczowe:: N-rational series
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Undecidability Results for Timed Automata with Silent Transitions
Autorzy:: Bouyer, P.
Haddad, S.
Reynier, P-A.
Data publikacji:: 2009
Słowa kluczowe:: Timed Automata
silent transitions
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: From One-dimensional to Two-dimensional Cellular Automata
Autorzy:: Dennunzio, A.
Data publikacji:: 2012
Słowa kluczowe:: cellular automata
symbolic dynamics
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: On Axiomatizability of the Multiplicative Theory of Numbers
Autorzy:: Salehi, S.
Data publikacji:: 2018
Słowa kluczowe:: decidability
completeness
multiplicative theory
quantifier elimination; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: The equivalence problem of DOL and DFOL power series
Autorzy:: Honkala, J.
Data publikacji:: 1999
Słowa kluczowe:: DOL system
formal power series
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: On Undecidability of Non-monotonic Logic
Autorzy:: Suchenek, M. A.
Data publikacji:: 2006
Słowa kluczowe:: default logic
autoepistemic logic
asymptotic decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Refutation Systems for a System of Nonsense-Logic
Autorzy:: Robert Sochacki
Data publikacji:: 2011-09-01
Tematy:: refutation systems
rejected axioms
Ł-decidability; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: O rozstrzygalności teologii
About the Decidability of Theology
Autorzy:: Olszewski Adam
Tematy:: theology
logic
decidability
consequence
inference rule; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 68

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "decidability" wg kryterium: Temat