More on trees and finite satisfiability: The taming of terms

DOI10.1305/NDJFL/1093637559zbMath0637.03007OpenAlexW2034537276MaRDI QIDQ1098832

Miodrag Kapetanović, Aleksandar Krapež

Publication date: 1987

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093637559

zbMATH Keywords

tableauxfunction symbolsfinite satisfiability

Mathematics Subject Classification ID

Classical first-order logic (03B10) Model theory of finite structures (03C13)

This page was built for publication: More on trees and finite satisfiability: The taming of terms