Coalgebras for Bisimulation of Weighted Automata over Semirings.

Purandar Bhaduri

Published in: CoRR (2021)

Keyphrases

cellular automata
finite state
constraint satisfaction problems
genetic algorithm
finite automata
containment of conjunctive queries
database
knowledge representation
integrity constraints
regular expressions
weighted sum
turing machine