Резултати

еНаука >  Резултати >  Completeness theorem for a first order linear-time logic
Назив: Completeness theorem for a first order linear-time logic
Аутори: Ognjanović, Zoran  
Година: 2001
Публикација: Publications de l Institut Mathematique, Beograd
ISSN: 0350-1302 Publications de l#Institut Mathematique, Beograd Претражи идентификатор
Издавач: Mathematical Institute of the SASA
Тип резултата: Научни чланак
Колација: vol. 69 br. 83 str. 1-7
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/3005
https://enauka.gov.rs/handle/123456789/579525
URL: http://elib.mi.sanu.ac.rs/files/journals/publ/89/n083p001.pdf
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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