Inquisitive bisimulation.

Ivano Ciardelli Martin Otto

Published in: CoRR (2018)

Keyphrases

equivalence relation
genetic algorithm
artificial intelligence
query language
orders of magnitude
optimal planning
data sets
general purpose