Login / Signup
Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete.
Stefan Göller
Pawel Parys
Published in:
SODA (2023)
Keyphrases
</>
exptime complete
description logics
expressive power
expert systems
data sources