Witnessing functions in bounded arithmetic and search problems

Počet záznamů: 1

SYSNO ASEP	0174593
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	J - Článek v odborném periodiku
Poddruh J	Ostatní články
Název	Witnessing functions in bounded arithmetic and search problems
Tvůrce(i)	Krajíček, Jan (MU-W)_{SAI, ORCID} Chiari, M. (IT)
Zdroj.dok.	Journal of Symbolic Logic. - : Cambridge University Press - ISSN 0022-4812 Roč. 63, č. 3 (1998), s. 1095-1115
Jazyk dok.	eng - angličtina
Země vyd.	US - Spojené státy americké
Vědní obor RIV	BA - Obecná matematika BA - Obecná matematika
CEP	IAA119107 GA AV ČR - Akademie věd
Pracoviště	Matematický ústav
Kontakt	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Rok sběru	1999

Počet záznamů: 1