Witnessing functions in bounded arithmetic and search problems

Počet záznamů: 1

SYSNO	0174593
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. Roč. 63, č. 3 (1998), s. 1095-1115. - : Cambridge University Press
Druh dok.	Článek v odborném periodiku
Grant	IAA119107 GA AV ČR - Akademie věd
	č. 93025, XX
Jazyk dok.	eng
Země vyd.	US
Trvalý link	http://hdl.handle.net/11104/0071599

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Krajicek3.pdf	1	377.5 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1