| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Kapetanović, Miodrag | en |
| dc.contributor.author | Krapež, Aleksandar | en |
| dc.date.accessioned | 2020-05-01T20:12:33Z | - |
| dc.date.available | 2020-05-01T20:12:33Z | - |
| dc.date.issued | 1987-01-01 | en |
| dc.identifier.issn | 0029-4527 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/998 | - |
| dc.publisher | Duke University Press | - |
| dc.relation.ispartof | Notre Dame Journal of Formal Logic | en |
| dc.title | More on trees and finite satisfiability: The taming of terms | en |
| dc.type | Article | en |
| dc.identifier.doi | 10.1305/ndjfl/1093637559 | en |
| dc.identifier.scopus | 2-s2.0-84972498342 | en |
| dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
| dc.relation.firstpage | 392 | en |
| dc.relation.lastpage | 394 | en |
| dc.relation.issue | 3 | en |
| dc.relation.volume | 28 | en |
| item.cerifentitytype | Publications | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.openairetype | Article | - |
| item.grantfulltext | none | - |
| item.fulltext | No Fulltext | - |
| crisitem.author.orcid | 0000-0002-9533-1739 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.