Discriminating Lambda-Terms Using Clocked Boehm Trees

Jörg Endrullis Dimitri Hendriks Jan Willem Klop Andrew Polonsky

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

Keyphrases

data sets
databases
artificial intelligence
co occurrence
database
machine learning
website
image segmentation
evolutionary algorithm
probabilistic model
rough sets
fixed point