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)

   Volume 11 (2015)

   Volume 12 (2016)

   Volume 13 (2017)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 2, ISSUE 4


1. Generalized Majority-Minority Operations are Tractable
  Victor Dalmau


2. A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information
  Tuan C. Le, Chitta Baral and Son C. Tran


3. From Proof Nets to the Free *-Autonomous Category
  François Lamarche and Lutz Strassburger


4. Combining decision procedures for the reals
  Jeremy Avigad and Harvey Friedman


5. Solution of a Problem of Barendregt on Sensible λ-Theories
  Benedetto Intrigila and Richard Statman


6. Positional Determinacy of Games with Infinitely Many Priorities
  Erich Grädel and Igor Walukiewicz


Creative Commons