Резултати

eNauka >  Rezultati >  A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules
Naziv: A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules
Autori: Lutovac, Tatjana  ; Harland, James
Godina: 2013
Publikacija: COMPUTER SCIENCE AND INFORMATION SYSTEMS - COMSIS
ISSN: 1820-0214 Computer Science and Information Systems / ComSIS Pretraži identifikator
Tip rezultata: Naučni članak
Kolacija: 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
Izvor metapodataka: Migracija
M-kategorija: 
22M22 - Međunarodni časopis kategorije M22

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

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