some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

   Volume 1 (2005)

      Issue 1

      Issue 2

      Issue 3

   Volume 2 (2006)

   Volume 3 (2007)

   Volume 4 (2008)

   Volume 5 (2009)

   Volume 6 (2010)

   Volume 7 (2011)

   Volume 8 (2012)

   Volume 9 (2013)

   Volume 10 (2014)

   Volume 11 (2015)

   Volume 12 (2016)

   Volume 13 (2017)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 1, ISSUE 1


1. Labelled transition systems as a Stone space
  Michael R. A Huth


2. Model-checking problems as a basis for parameterized intractability
  Jörg Flum and Martin Grohe


3. Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy's Merge
  Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik


4. Contextual equivalence for higher-order pi-calculus revisited
  Alan S. A Jeffrey and Julian Rathke


5. Linear datalog and bounded path duality of relational structures
  Victor Dalmau


6. The succinctness of first-order logic on linear orders
  Martin Grohe and Nicole Schweikardt


Creative Commons