scientific article; zbMATH DE number 1927339

MaRDI QIDQ4484233zbMATH OpenFDO

Authors Ryszard Janicki

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2475/24750113.htm

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Other algebras related to logic (03G25) Applications of universal algebra in computer science (08A70) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• scientific article; zbMATH DE number 1929953
• Mereological relations
• Mathematical Foundations of Computer Science 2005
• A Categorical Approach to Mereology and Its Application to Modelling Software Components
• scientific article; zbMATH DE number 4123788

Cited in

(6)

• Mereological relations
• Sup-t-norm and inf-residuum are one type of relational product: unifying framework and consequences
• Relation partition algebra -- mathematical aspects of uses and part-of relations
• The strong direct product of formal contexts
• scientific article; zbMATH DE number 1929953 (Why is no real title available?)
• scientific article; zbMATH DE number 868090 (Why is no real title available?)

This page was built for publication:

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