The following pages link to (Q4178511):
Displaying 4 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Conditional theories (Q1092039) (← links)
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras (Q1838960) (← links)
