Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete.

Petr Jancar Sylvain Schmitz

Published in: CoRR (2019)

Keyphrases

data model
databases
database
equivalence relation
higher order
context free
first order logic
natural language
natural language processing
grammatical inference
decision diagrams
data mining
genetic algorithm
information systems
description logics