9 results on '"Tendera, Lidia"'
Search Results
2. On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity
3. Counting in the Two Variable Guarded Logic with Transitivity
4. The Complexity of Finite Model Reasoning in Description Logics
5. On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards
6. Querying the Guarded Fragment with Transitivity.
7. On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards.
8. On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.
9. Counting in the Two Variable Guarded Logic with Transitivity.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.