Schmerl, Ulf R. "A cut-elimination procedure designed for evaluating proofs as programs" - Computer science logic (Berne, 1991), 316-325, Lecture Notes in Comput. Sci., 626, Springer, Berlin, 1992.

Došen, Kosta

Rezultati

еНаука > Резултати > Schmerl, Ulf R. "A cut-elimination procedure designed for evaluating proofs as programs" - Computer science logic (Berne, 1991), 316-325, Lecture Notes in Comput. Sci., 626, Springer, Berlin, 1992.

Назив:	Schmerl, Ulf R. "A cut-elimination procedure designed for evaluating proofs as programs" - Computer science logic (Berne, 1991), 316-325, Lecture Notes in Comput. Sci., 626, Springer, Berlin, 1992.
Аутори:	Došen, Kosta
Година:	1994
Публикација:	Mathematical Reviews
ISSN:	0025-5629 Претражи идентификатор
Издавач:	Providence, Rhode Island : American Mathematical Society
Тип резултата:	Информативни прилог
VBS COBISS:	521469847
URI:	https://plus.cobiss.net/cobiss/sr/sr/bib/521469847#izum.si https://enauka.gov.rs/handle/123456789/720055
М-категорија:	Мп категорија ће бити приказана накнадно.

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.