Sciweavers

On the Undecidability of Description and Dynamic Logics with Recursion and Counting
Recent Google, Yahoo, MSN search queries leading to this post
On the Undecidability of Description and Dynamic Logics with Recursion and Counting
Data is not available yet.