Резултати

еНаука >  Резултати >  A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules
Назив: A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules
Аутори: Lutovac, Tatjana  ; Harland, James
Година: 2013
Публикација: COMPUTER SCIENCE AND INFORMATION SYSTEMS - COMSIS
ISSN: 1820-0214 Computer Science and Information Systems / ComSIS Претражи идентификатор
Тип резултата: Научни чланак
Колација: vol. 10 br. 3 str. 1185-1210
DOI: 10.2298/csis120820043l
WoS-ID: 000323238700013
Scopus-ID: 2-s2.0-84880071622
URI: https://enauka.gov.rs/handle/123456789/505624
http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/2/704741
Извор метаподатака: Migracija
М-категорија: 
22M22 - Међународни часопис категорије M22

2
SCOPUSTM
2
OpenCitations
1
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

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