Pages that link to "Item:Q1919761"

The following pages link to Data storage interpretation of labeled modal logic (Q1919761):

Displaying 3 items.

• Axiomatizations for downward XPath on data trees (Q2402362) (← links)
• Referential logic of proofs (Q2500486) (← links)
• The single-conclusion proof logic and inference rules specification (Q5957913) (← links)