Rezultati

еНаука >  Резултати >  Detecting loops during proof search in propositional affine logic
Назив : Detecting loops during proof search in propositional affine logic
Аутори: Lutovac, Tatjana  ; Harland, J.
Година: 2006
Публикација: Journal of logic and computation
ISSN: 0955-792X Journal of Logic and Computation Pretraži identifikator
Издавач: Oxford : Oxford University Press
Тип резултата: Konferencijski rad
Колација: vol. 16 br. issue 1 str. astr. 61-133
VBS COBISS: 1026779317
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/1026779317#izum.si
https://enauka.gov.rs/handle/123456789/663432
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.