Bicategorical Semantics for Nondeterministic Computation

Mike Stay Jamie Vicary

Published in: CoRR (2013)

Keyphrases

semantic information
finite state
efficient computation
finite automata
data sets
machine learning
genetic algorithm
decision trees
case study
database systems
logic programming
conceptual model
formal semantics