Results

eNauka >  Results >  Reducibility method and resource control
Title: Reducibility method and resource control
Authors: Gilezan, Silvia  ; Likavec, Silvia  
Issue Date: 2013
Publication: 4th World Congress on Universal Logic, Workshop on Abstract Proof Theory
Publisher: Milano: Springer
Type: Conference Paper
ISBN: 978-3-7643-8353-4 Search Idenfier
Collation: vol. 4 str. 161-162
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/4249
https://enauka.gov.rs/handle/123456789/215973
URL: http://researchrepository.mi.sanu.ac.rs/handle/123456789/4249
Metadata source: Migracija
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.