Sciweavers

PSPACE-decidability of Japaridze's polymodal logic
Recent countries visiting this post
PSPACE-decidability of Japaridze's polymodal logic
us10United States
ru2Russian Federation
un1