Sciweavers

Expressivity and completeness for public update logics via reduction axioms
Recent countries visiting this post
Expressivity and completeness for public update logics via reduction axioms
us3United States