Sciweavers

Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
Recent countries visiting this post
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
us6United States
fr1France
ru1Russian Federation