Zobrazeno 1 - 8
of 8
pro vyhledávání: '"ALOGTIME"'
Autor:
Toshiyasu Arai
Publikováno v:
Annals of Pure and Applied Logic. 103(1-3):155-199
In this paper we introduce a system AID (alogtime inductive definitions) of bounded arithmetic. The main feature of AID is to allow a form of inductive definitions, which was extracted from Buss’ propositional consistency proof of Frege systems F i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a87a046ea463af9f9a54f4bd4936170f
Autor:
Daniel Leivant, Jean-Yves Marion
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, 2000, 236 (1-2), pp.192-208. ⟨10.1016/S0304-3975(99)00209-1⟩
Theoretical Computer Science, Elsevier, 2000, 236 (1-2), pp.192-208. ⟨10.1016/S0304-3975(99)00209-1⟩
Theoretical Computer Science, 2000, 236 (1-2), pp.192-208. ⟨10.1016/S0304-3975(99)00209-1⟩
Theoretical Computer Science, Elsevier, 2000, 236 (1-2), pp.192-208. ⟨10.1016/S0304-3975(99)00209-1⟩
We give a machine-independent characterization of the class of functions bitwise computable in alternating logarithmic time, with output of polynomial size. Recall that ALogTime is the same, for decision problems, as the U E ∗ -uniform variant of N
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4daf115c24995b5c3b17a138ec7164e3
https://inria.hal.science/inria-00099078
https://inria.hal.science/inria-00099078
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.
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.
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.
Kniha
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.