Pages that link to "Item:Q3544786"
From MaRDI portal
The following pages link to On computable formal concepts in computable formal contexts (Q3544786):
Displaying 5 items.
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- On computable automorphisms in formal concept analysis (Q606025) (← links)
- Study of a universal formal context (Q1937746) (← links)
- (Q4994689) (← links)
- Computing knowledge in equational extensions of subterm convergent theories (Q5139279) (← links)