Results
| Title: | Maximum cuts in extended natural deduction | Authors: | Borisavljević, Mirjana   |
Issue Date: | 2010 | Publication: | Publications de l'Institut Mathematique (Belgrade) | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Search Idenfier |
Type: | Article | Collation: | vol. 87 br. 101 str. 59-74 | DOI: | 10.2298/pim1001059b | WoS-ID: | 000208404200004 | Scopus-ID: | 2-s2.0-77957724489 | URI: | https://enauka.gov.rs/handle/123456789/259327 | Metadata source: | Migrirano iz RIS podataka | M-category: | 24M24 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.