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

Page view(s)

23
checked on Dec 6, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.