Sciweavers

Non-primitive recursive decidability of products of modal logics with expanding domains
Recent countries visiting this post
Non-primitive recursive decidability of products of modal logics with expanding domains
us5United States
ru1Russian Federation