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