some image logo

HOME

SEARCH

CURRENT ISSUE

   Volume 12 Issue 3

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 12, ISSUE 3 (in Progress)


1. Reasoning about data repetitions with counter systems
  Stéphane Demri, Diego Figueira and M Praveen


Creative Commons