Резултати
| Назив: | Cut elimination and decidability for classical lambek logic | Аутори: | Ilić, Mirjana   |
Година: | 2008 | Публикација: | Journal of logic and computation | ISSN: | 0955-792X Journal of Logic and Computation Претражи идентификатор |
Издавач: | Oxford : Oxford University Press | Тип резултата: | Научни чланак | Колација: | vol. 18 br. 1 str. 171-199 | DOI: | 10.1093/logcom/exm063 | WoS-ID: | 000252718100009 | Scopus-ID: | 2-s2.0-38749126223 | VBS COBISS: | 1025616309 | URI: | https://plus.cobiss.net/cobiss/sr/sr/bib/1025616309#izum.si https://enauka.gov.rs/handle/123456789/646376 |
М-категорија: | 22M22 - Међународни часопис категорије M22 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.