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
Named Models in Coalgebraic Hybrid Logic
Natural Deduction as Higher-Order Resolution
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Nested Hoare Triples and Frame Rules for Higher-order Store
Nested Sequents
Neutrality and Many-Valued Logics
New results on pushdown module checking with imperfect information
No big deal: introducing roles to reduce the size of ATL models
No information can be conveyed by certain events: The case of the clever widows of Fornicalia and the Stobon Oracle
Nominal Abstraction
Nominal Unification from a Higher-Order Perspective
Nominal Unification Revisited
Nominalistic Logic (Extended Abstract)
Non uniform (hyper/multi)coherence spaces
Non-Deterministic Kleene Coalgebras
Noncomputable functions in the Blum-Shub-Smale model