Pages that link to "Item:Q5743584"
From MaRDI portal
The following pages link to Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras (Q5743584):
Displaying 5 items.
- Equational completion in order-sorted algebras (Q912606) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Equational formulas and pattern operations in initial order-sorted algebras (Q2628298) (← links)
- (Q3615308) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)