Резултати

еНаука >  Резултати >  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 Претражи идентификатор
Издавач: Oxford : Oxford University Press
Тип резултата: Конференцијски рад
Колација: 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
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.