Monotonicity Constraints in Characterizations of PSPACE.

Amir M. Ben-Amram Bruno Loff Isabel Oitavem

Published in: J. Log. Comput. (2012)

Keyphrases

monotonicity constraints
ordinal classification
logic programs
temporal logic
equality constraints
lower bound
mazurkiewicz traces
decision procedures
learning algorithm
genetic programming