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)

   Volume 7 (2011)

   Volume 8 (2012)

   Volume 9 (2013)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 10 (2014)

   Volume 11 (2015)

   Volume 12 (2016)

   Volume 13 (2017)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 9, ISSUE 1


1. Type classes for efficient exact real arithmetic in Coq
  Robbert Krebbers and Bas Spitters


2. Asymptotically almost all λ-terms are strongly normalizing
  René David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier and Marek Zaionc


3. Counting CTL
  François Laroussinie, Antoine Meyer and Eudes Petonnet


4. A Rewriting View of Simple Typing
  Aaron Stump, Garrin Kimmell, Hans Zantema and Ruba El Haj Omar


5. Vector Addition System Reversible Reachability Problem
  Jérôme Leroux


6. Coarse abstractions make Zeno behaviours difficult to detect
  Frédéric Herbreteau and B. Srivathsan


7. On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games
  Thomas Brihaye, Véronique Bruyère, Julie De Pril and Hugo Gimbert


8. On the Complexity of Equivalence and Minimisation for Q-weighted Automata
  Stefan Kiefer, Andrzej Murawski, Joël Ouaknine, Björn Wachter and James Worrell


9. Generalizing determinization from automata to coalgebras
  Alexandra Silva, Filippo Bonchi, Marcello Bonsangue and Jan Rutten


10. Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)
  Petr Jancar


11. L-Recursion and a new Logic for Logarithmic Space
  Martin Grohe, Berit Grußien, André Hernich and Bastian Laubner


12. Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
  Alexander Kartzow


13. Unifying Büchi Complementation Constructions
  Seth J. Fogarty, Orna Kupferman, Thomas Wilke and Moshe Y. Vardi


14. Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
  Daisuke Kimura and Makoto Tatsuta


15. An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
  Hubie Chen and Moritz Müller


16. Polylogarithmic Cuts in Models of V0
  Sebastian Müller


Creative Commons