Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics.

Clovis Eberhart Tom Hirschowitz

Published in: CALCO (2017)

Keyphrases

hidden markov models
variable length
genetic algorithm
data structure
relational databases
virtual world
optimal strategy
formal semantics