Pages that link to "Item:Q896017"

The following pages link to Structural characterizations of the navigational expressiveness of relation algebras on a tree (Q896017):

Displaying 1 item.

• FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)