3 citations · 5 across the 5 of their papers we have counts for
1 paper · 2 filters
Paulina Paraponiari, George Rahonis
We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software archit…