some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

   Volume 1 (2005)

   Volume 2 (2006)

   Volume 3 (2007)

   Volume 4 (2008)

   Volume 5 (2009)

   Volume 6 (2010)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 7 (2011)

   Volume 8 (2012)

   Volume 9 (2013)

   Volume 10 (2014)

   Volume 11 (2015)

   Volume 12 (2016)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 6, ISSUE 1


1. O-Minimal Hybrid Reachability Games
  Patricia Bouyer, Thomas Brihaye and Fabrice Chevalier


2. A Graph Model for Imperative Computation
  Guy Andr McCusker


3. Bifinite Chu Spaces
  Manfred Droste and Guo-Qiang Zhang


4. Guarded Second-Order Logic, Spanning Trees, and Network Flows
  Achim Blumensath


5. Weighted Logics for Nested Words and Algebraic Formal Power Series
  Christian Mathissen


6. On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
  Bernard Boigelot, Julien Brusten and Véronique Bruyère


7. Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
  Jeroen Ketema and Jakob Grue Simonsen


Creative Commons