some image logo

HOME

SEARCH

REGULAR ISSUES

   Volume 1 (2005)

   Volume 2 (2006)

   Volume 3 (2007)

   Volume 4 (2008)

      Issue 1

      Issue 2

      Issue 3

SPECIAL ISSUES

CURRENT ISSUE

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

CONTACT

VOLUME 4, ISSUE 3 (in Progress)


1. Enriched μ-Calculi Module Checking
  Ferrante Alessandro, Aniello Murano and Mimmo Parente


2. Canonical calculi with (n,k)-ary quantifiers
  Arnon Avron and Anna Zamansky


Creative Commons