Login / Signup

BPA bisimilarity is EXPTIME-hard.

Stefan Kiefer
Published in: Inf. Process. Lett. (2013)
Keyphrases
  • upper bound
  • description logics
  • database
  • first order logic
  • special case
  • data sets
  • artificial intelligence
  • natural language