Results

eNauka >  Results >  A congruence relation for restructuring classical terms
Title A congruence relation for restructuring classical terms
Authors: Žunić, Dragiša D.  ; P. Lescanne
Issue Date: 2017
Publication: 18th Italian Conference on Theoretical Computer Science
Publisher: Ceur Proc., Naples, Italy
Type: Conference Paper
Collation: vol. 1949 str. 186-197
URI: https://enauka.gov.rs/handle/123456789/415471
URL: http://ceur-ws.org/Vol-1949/
Metadata source: Migrirano iz RIS podataka
M-category: 
Mp. category will be shown later

Find the DOI


Google ScholarTM

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