An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus

Results

Naziv:	An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus
Autori:	Lutovac, Tatjana
Godina:	2012
Publikacija:	BCI 2012
Tip rezultata:	Konferencijski rad
Kolacija:	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
Izvor metapodataka:	Migracija
M-kategorija:	Mp kategorija će biti prikazana naknadno.

Altmetric

Dimensions

Unpaywall

Google Scholar^TM