The following pages link to (Q3325928):
Displaying 6 items.
- Determining the consistency of partial tree descriptions (Q1028903) (← links)
- Small integral relation algebras generated by a partial order (Q1182543) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- Representations for small relation algebras (Q1903131) (← links)
- Tractable approximations for temporal constraint handling (Q1978249) (← links)
- New extensions of polygroups by polygroups (Q5864474) (← links)