DC FieldValueLanguage
dc.contributor.authorGhilezan, Silviaen_US
dc.contributor.authorKunčak, Viktoren_US
dc.contributor.authorLikavec, Silviaen_US
dc.date.accessioned2020-12-07T11:47:46Z-
dc.date.available2020-12-07T11:47:46Z-
dc.date.issued2001-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/4266-
dc.relation.ispartofExtended abstracts of the 5th International Workshop on Termination, (WST'01)en_US
dc.titleReducibility method for termination properties of typed lambda termsen_US
dc.typeConference Paperen_US
dc.relation.conference5th International Workshop on Termination - WST'01, Utrecht, The Netherlands (2001)en_US
dc.relation.firstpage14-
dc.relation.lastpage16-
item.openairetypeConference Paper-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

Page view(s)

42
checked on Apr 24, 2024

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.