Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems.

Jörg Endrullis Jan Willem Klop Roy Overbeek

Published in: FSCD (2018)

Keyphrases

distributed systems
management system
markov chain
knowledge based systems
rewrite systems
real time
databases
data mining
web services
decision trees
reinforcement learning
training set
supervised learning