The following pages link to (Q5537625):
Displaying 6 items.
- On taking subalgebras of relativized relation algebras (Q1105597) (← links)
- Combinations of structures (Q1717397) (← links)
- Cylindric algebras and finite polyadic algebras (Q1991591) (← links)
- Leon Henkin and Cylindric Algebras (Q3454804) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- Stateful Behavioral Types for Active Objects (Q6104495) (← links)