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

Results

eNauka > Results > 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.

Title:	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.
Authors:	Došen, Kosta
Issue Date:	1994
Publication:	Mathematical Reviews
ISSN:	0025-5629 Search Idenfier
Publisher:	Providence, Rhode Island : American Mathematical Society
Type:	Contribution to periodical
VBS COBISS:	521469847
URI:	https://plus.cobiss.net/cobiss/sr/sr/bib/521469847#izum.si https://enauka.gov.rs/handle/123456789/720055
M-category:	Mp. category will be shown later

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.