Pages that link to "Item:Q3478389"
From MaRDI portal
The following pages link to Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules (Q3478389):
Displaying 5 items.
- HSP-type characterization of strong equational classes of partial algebras (Q1035840) (← links)
- Strong regular varieties of partial algebras (Q1319050) (← links)
- Algebraic theory of quasivarieties of heterogeneous partial algebras (Q1770604) (← links)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- Near-equational and equational systems of logic for partial functions. I (Q3032234) (← links)
