Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies.

Nathan J. Bowler Paul Blain Levy Gordon D. Plotkin

Published in: MFPS (2018)

Keyphrases

finite automata
genetic algorithm
database systems
data sets
information retrieval
finite state
relation algebra