10 results on '"Logic"'
Search Results
2. Polynomial time in untyped elementary linear logic.
3. Model-checking graded computation-tree logic with finite path semantics.
4. One-variable logic meets Presburger arithmetic.
5. Early nested word automata for XPath query answering on XML streams.
6. The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
7. Fine hierarchies and m-reducibilities in theoretical computer science
8. LTL over integer periodicity constraints
9. A descriptive complexity approach to the linear hierarchy
10. A polynomial space construction of tree-like models for logics with local chains of modal connectives
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.