On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation

Documenti analoghi

• Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity
  di: Nakamura, Yoshiki
  Pubblicazione: (2023)
• Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
  di: Nakamura, Yoshiki
  Pubblicazione: (2024)
• Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
  di: Nakamura, Yoshiki
  Pubblicazione: (2023)
• The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
  di: Nakamura, Yoshiki
  Pubblicazione: (2025)
• Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
  di: Kieronski, Emanuel, et al.
  Pubblicazione: (2016)