Results

eNauka >  Results >  A Syntax Approach to Automated Detection of Some Redundancies in Linear Logic Sequent Derivations
Title: A Syntax Approach to Automated Detection of Some Redundancies in Linear Logic Sequent Derivations
Authors: Lutovac, Tatjana  ; J. Harland
Issue Date: 2013
Publication: Workshop Progress in Decision Procedures: From Formalizations to Applications
Publisher: Faculty of Mathematics, University of Belgrade, Lab for Automated Reasoning and Analysis, EPFL, Srbija
Type: Conference Paper
Collation: vol. 1 br. 1 str. 14-14
URI: https://enauka.gov.rs/handle/123456789/174354
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.