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