Rezultati

eNauka >  Results >  A Redundancy Analysis of Sequent Proofs
Title : A Redundancy Analysis of Sequent Proofs
Authors: T. Lutovac  ; J. Harland
Issue Date: 2005
Publication: LECTURE NOTES IN COMPUTER SCIENCE
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Search Idenfier
Type: Article
Collation: vol. 3702 str. 185-200
DOI: 10.1007/11554554_15
WoS-ID: 000233235000014
Scopus-ID: 2-s2.0-33646166549
URI: http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/2/4682
https://enauka.gov.rs/handle/123456789/744829
M-category: 
23M23

1
SCOPUSTM
1
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.