Pages that link to "Item:Q1838960"
From MaRDI portal
The following pages link to Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras (Q1838960):
Displayed 27 items.
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- HSP-type characterization of strong equational classes of partial algebras (Q1035840) (← links)
- Non-deterministic data types: Models and implementations (Q1058286) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Conditional theories (Q1092039) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Data types with errors and exceptions (Q1196304) (← links)
- Algebraic theory of quasivarieties of heterogeneous partial algebras (Q1770604) (← links)
- On subdirectly irreducible OMAs (Q1770612) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Algebraic characterization of conflict-free varieties of partial algebras (Q2366148) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- Closures in Binary Partial Algebras (Q2994476) (← links)
- Near-equational and equational systems of logic for partial functions. I (Q3032234) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- (Q3665164) (← links)
- Collapsing partial combinatory algebras (Q4645804) (← links)
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras (Q4856660) (← links)
- The Division Relation: Congruence Conditions and Axiomatisability (Q5305990) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)