MACE 2.0 Reference Manual and Guide

Making Abstraction Refinement Efficient in Model Checking

Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming

Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd

Markovian Testing Equivalence and Exponentially Timed Internal Actions

Mean-payoff Automaton Expressions

Mean-Payoff Pushdown Games

Measuring and Synthesizing Systems in Probabilistic Environments

Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited

Mechanizing Coinduction and Corecursion in Higher-order Logic

Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice.

Mechanizing the Metatheory of LF

Meditations on Quantified Constraint Satisfaction

Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach

Methods to Model-Check Parallel Systems Software

Middle History of Logic Programming: Resolution, Planner, Edinburgh LCF, Prolog, Simula, and the Japanese Fifth Generation Project

Minimal founded semantics for disjunctive logic programs and deductive databases

Minimum Model Semantics for Logic Programs with Negation-as-Failure

Mirrored Language Structure and Innate Logic of the Human Brain as a Computable Model of the Oracle Turing Machine

Mnesors for databases