Yoshinori Tanabe

Available identifiers

zbMath Open tanabe.yoshinoriMaRDI QIDQ3085176

List of research outcomes

Publication	Date of Publication	Type
A decision procedure for alternation-free modal \(\mu\)-calculi	2011-03-30	Paper
Model checking of concurrent algorithms: from Java to C	2010-10-27	Paper
Decidability and undecidability results on the modal \(\mu \)-calculus with a natural number-valued semantics	2010-09-29	Paper
MLAT: a tool for heap analysis based on predicate abstraction by modal logic	2009-04-03	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper

Research outcomes over time

This page was built for person: Yoshinori Tanabe