Weighted propositional configuration logic over De Morgan algebras

DOI10.1007/978-3-031-19685-0_7OpenAlexW4312529703MaRDI QIDQ6108724

Leonidas Efstathiadis

Publication date: 26 July 2023

Published in: Algebraic Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-19685-0_7

zbMATH Keywords

De Morgan algebrassoftware architecturespropositional configuration logicweighted propositional configuration logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Configuration logics: modeling architecture styles
• A general framework for architecture composability
• Handbook of weighted automata
• Weighted propositional configuration logics: a specification language for architectures with quantitative features
• Privacy-preserving attribute-keyword based data publish-subscribe service on cloud platforms
• Fuzzy Languages

This page was built for publication: Weighted propositional configuration logic over De Morgan algebras