Efficiently Deciding μ-Calculus with Converse over Finite Trees.

Pierre Genevès Nabil Layaïda Alan Schmitt Nils Gesbert

Published in: ACM Trans. Comput. Log. (2015)

Keyphrases

decision trees
decision making
data sets
neural network
tree structures
information systems
tree structure
highly efficient
real numbers
boolean expressions
unit length