Results
eNauka >
Results >
An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus
Title: | An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus | Authors: | Lutovac, Tatjana | Issue Date: | 2012 | Publication: | BCI 2012 | Type: | Conference Paper | Collation: | str. 64-69 | DOI: | 10.1145/2371316.2371329 | Scopus-ID: | 2-s2.0-84867391771 | URI: | https://enauka.gov.rs/handle/123456789/500997 http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/3/704006 |
Metadata source: | Migracija | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.