Pages that link to "Item:Q1362332"

The following pages link to Counting quantifiers, successor relations, and logarithmic space (Q1362332):

Displaying 26 items.

• Log-space algorithms for paths and matchings in \(k\)-trees (Q385514) (← links)
• Solutions and query rewriting in data exchange (Q388220) (← links)
• The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
• The isomorphism problem for \(k\)-trees is complete for logspace (Q714733) (← links)
• First-order logics: some characterizations and closure properties (Q715044) (← links)
• Planar and grid graph reachability problems (Q733742) (← links)
• Verifiable properties of database transactions (Q1281498) (← links)
• Counting quantifiers, successor relations, and logarithmic space (Q1362332) (← links)
• Query languages for bags and aggregate functions (Q1376407) (← links)
• Expressive power of SQL. (Q1401278) (← links)
• On \(\text{TC}^0,\text{AC}^0\), and arithmetic circuits (Q1567407) (← links)
• Local properties of query languages (Q1575140) (← links)
• Lower bounds for invariant queries in logics with counting. (Q1853505) (← links)
• Approximate pattern matching and transitive closure logics. (Q1874401) (← links)
• The complexity of planarity testing (Q1887150) (← links)
• Equivalence classes and conditional hardness in massively parallel computations (Q2121067) (← links)
• On the isomorphism problem for decision trees and decision lists (Q2348033) (← links)
• Game-based notions of locality over finite models (Q2478544) (← links)
• Bounded Treewidth and Space-Efficient Linear Algebra (Q2948475) (← links)
• The Isomorphism Problem for k-Trees Is Complete for Logspace (Q3182953) (← links)
• Program Repair for Hyperproperties (Q3297603) (← links)
• (Q4553282) (← links)
• Notions of locality and their logical characterizations over finite models (Q4948541) (← links)
• Compressed Decision Problems in Hyperbolic Groups. (Q5090484) (← links)
• Pebble Weighted Automata and Weighted Logics (Q5169971) (← links)
• (Q5216300) (← links)