Monodic temporal resolution
Monotonicity Constraints for Termination in the Integer Domain
MSO definable string transductions and two-way finite state transducers
Multi-Objective Model Checking of Markov Decision Processes
Multiple verification in computational modeling of bone pathologies
Multiply-Recursive Upper Bounds with Higman's Lemma