Login / Signup

Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete.

Stefan GöllerPawel Parys
Published in: SODA (2023)
Keyphrases
  • exptime complete
  • description logics
  • expressive power
  • expert systems
  • data sources