Results

eNauka >  Results >  A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules
Title: A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules
Authors: Lutovac, Tatjana  ; Harland, James
Issue Date: 2013
Publication: COMPUTER SCIENCE AND INFORMATION SYSTEMS - COMSIS
ISSN: 1820-0214 Computer Science and Information Systems / ComSIS Search Idenfier
Type: Article
Collation: 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
Metadata source: Migracija
M-category: 
22M22

2
SCOPUSTM
2
OpenCitations
1
WEB OF SCIENCETM
Altmetric
Dimensions
Unpaywall

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.