Results

eNauka >  Results >  Syntax aproach to extracting information about formulas and proofs during automated proof search in sequent calculi for some resource-sensitive logics
Title: Syntax aproach to extracting information about formulas and proofs during automated proof search in sequent calculi for some resource-sensitive logics
Authors: Lutovac, Tatjana A.  
Issue Date: 2017
Publication: Osmi simpozijum ..Matematika i primene''
Publisher: Matematicki fakultet Univerziteta u Beogradu i Srpska akademija nauka i umetnosti
Type: Conference Paper
URI: https://enauka.gov.rs/handle/123456789/140565
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.