some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

   Volume 1 (2005)

   Volume 2 (2006)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

      Issue 5

   Volume 3 (2007)

   Volume 4 (2008)

   Volume 5 (2009)

   Volume 6 (2010)

   Volume 7 (2011)

   Volume 8 (2012)

   Volume 9 (2013)

   Volume 10 (2014)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 2, ISSUE 3


1. On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
  Frank Neven and Thomas Schwentick


2. Logics for Unranked Trees: An Overview
  Leonid Libkin


3. Relational Parametricity and Control
  Masahito Hasegawa


4. Resource Usage Analysis for the π-Calculus
  Naoki Kobayashi, Kohei Suenaga and Lucian Wischik


5. Efficient Open World Reasoning for Planning
  Tamara Babaian and James G. Schmolze


6. Tarski's influence on computer science
  Solomon Feferman


Creative Commons