| Authors: | Kapetanović, Miodrag Krapež, Aleksandar |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | More on trees and finite satisfiability: The taming of terms | Journal: | Notre Dame Journal of Formal Logic | Volume: | 28 | Issue: | 3 | First page: | 392 | Last page: | 394 | Issue Date: | 1-Jan-1987 | ISSN: | 0029-4527 | DOI: | 10.1305/ndjfl/1093637559 | Publisher: | Duke University Press |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.