Algebraic Notions of Termination

Jules Desharnais Bernhard Möller Georg Struth

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

higher order
algebraic structure
databases
machine learning
decision making
website
database systems
information technology
hidden markov models
active rules