Pages that link to "Item:Q4928429"
From MaRDI portal
The following pages link to A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (Q4928429):
Displayed 3 items.
The following pages link to A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (Q4928429):
Displayed 3 items.