Computing minimal projection modules for ELH^r-terminologies

DOI10.1007/978-3-030-19570-0_23MaRDI QIDQ2296720zbMATH OpenOpenAlexFDO

Authors Jieying Chen, M. Ludwig, Yue Ma, D. Walther

Publication date 18 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-19570-0_23

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Computation of Minimal Projections and Extensions
• On the min-projective modules
• scientific article; zbMATH DE number 150219
• scientific article; zbMATH DE number 4193850
• Homological computations for term rewriting systems
• Complexity of equational theory of relational algebras with standard projection elements
• On the projectivity of module coalgebras
• Minimal projective resolutions for comodules.
• Quantifier elimination for modules
• scientific article; zbMATH DE number 1283979

This page was built for publication: Computing minimal projection modules for \(\mathcal{ELH}^r\)-terminologies

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