Approximating Trees As Coloured Linear Orders And Complete Axiomatisations Of Some Classes Of Trees
Work
Year: 2021
Type: article
Abstract: We study the first-order theories of some natural and important classes of coloured trees, including the four classes of trees whose paths have the order type respectively of the natural numbers, the... more
Source: Journal of Symbolic Logic
Authors Ruaan Kellerman, Valentin Goranko
Cites: 11
Cited by: 3
Related to: 10
FWCI: 0.388
Citation percentile (by year/subfield): 51.97
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green