Zobrazeno 1 - 10
of 2 064
pro vyhledávání: '"S.A. Cook"'
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:
de Azevedo, M. Cagiano
Publikováno v:
Aevum, 1968 Sep 01. 42(5/6), 541-541.
Externí odkaz:
https://www.jstor.org/stable/25820776
Autor:
Peter Clote
Publikováno v:
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Usingsequential, machine-independent characterization of theparallel complexity classesAC k andNC k , we establish the following conjecture of S.A. Cook. There is a free variable equational logicALV with the property thatif f, g are function symbols
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23f858c7a5bf2e6251a50132005bdab0
https://doi.org/10.1109/lics.1990.113744
https://doi.org/10.1109/lics.1990.113744
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.
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.