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

Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Theoretical Computer Science, 493:98-115, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.