Pages that link to "Item:Q4700539"

The following pages link to A finite relation algebra with undecidable network satisfaction problem (Q4700539):

Displaying 5 items.

• Qualitative constraint satisfaction problems: an extended framework with landmarks (Q490417) (← links)
• An initial study of time complexity in infinite-domain constraint satisfaction (Q514144) (← links)
• The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
• Algebraic foundations for qualitative calculi and networks (Q1733063) (← links)
• Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)