Pages that link to "Item:Q1903080"
From MaRDI portal
The following pages link to A first-order axiomatization of the theory of finite trees (Q1903080):
Displayed 8 items.
- Determining the consistency of partial tree descriptions (Q1028903) (← links)
- Dominance constraints with Boolean connectives: A model-eliminative treatment (Q1870570) (← links)
- First-order theories of bounded trees (Q2118179) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees (Q3605529) (← links)
- Temporal Logics with Reference Pointers and Computation Tree Logics (Q4443400) (← links)
- APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES (Q5015724) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)