Login / Signup

Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers.

Davide BresolinAngelo MontanariPietro SalaGuido Sciavicco
Published in: Theor. Comput. Sci. (2013)
Keyphrases