Sciweavers

On the Undecidability of Description and Dynamic Logics with Recursion and Counting
Recent countries visiting this post
On the Undecidability of Description and Dynamic Logics with Recursion and Counting
us4United States
un2