The following pages link to Dynamic algebras with test (Q1095141):
Displaying 8 items.
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Some results in dynamic model theory (Q1881264) (← links)
- On the algebra of disjoint alternatives (Q1915884) (← links)
- (Q3139894) (← links)
- (Q3343429) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)