On computable formal concepts in computable formal contexts

zbMATH Open1164.03344MaRDI QIDQ3544786FDOQ3544786

Authors: M. A. L'Vova, Andrei S. Morozov 

Publication date: 8 December 2008

Full work available at URL: https://eudml.org/doc/55577

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• On effective presentations of formal concept lattices
• On computable automorphisms in formal concept analysis
• scientific article; zbMATH DE number 877297
• Formal contexts for algebraic domains
• scientific article; zbMATH DE number 1670915

zbMATH Keywords

formal concept analysiscomputable modelcomputable formal contextcomputable concept

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of numerations, effectively presented structures (03D45)

Cited In (6)

• Title not available (Why is that?)
• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• On computable automorphisms in formal concept analysis
• Title not available (Why is that?)
• On effective presentations of formal concept lattices
• Computing knowledge in equational extensions of subterm convergent theories

This page was built for publication: On computable formal concepts in computable formal contexts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3544786)