Results
| Title: | More on trees and finite satisfiability: The taming of terms | Authors: | Kapetanović, Miodrag; Krapež, Aleksandar   |
Issue Date: | 1987 | Publication: | Notre Dame Journal of Formal Logic | ISSN: | 0029-4527 Notre Dame Journal of Formal Logic Search Idenfier |
Publisher: | Duke University Press | Type: | Article | Collation: | vol. 28 br. 3 str. 392-394 | DOI: | 10.1305/ndjfl/1093637559 | Scopus-ID: | 2-s2.0-84972498342 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/998 https://enauka.gov.rs/handle/123456789/578810 |
M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.