Operator precedence and the visibly pushdown property.

Stefano Crespi-Reghizzi Dino Mandrioli

Published in: J. Comput. Syst. Sci. (2012)

Keyphrases

databases
decision making
model checking
learning algorithm
machine learning
information systems
image processing
three dimensional
desirable properties
precedence relations
monotonicity property