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)

   Volume 10 (2014)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 11 (2015)

   Volume 12 (2016)

   Volume 13 (2017)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 10, ISSUE 2


1. Towards 3-Dimensional Rewriting Theory
  Samuel Mimram


2. A Linear Category of Polynomial Functors (extensional part)
  Pierre Hyvernat


3. Querying the Guarded Fragment
  Vince Bárány, Georg Gottlob and Martin Otto


4. Discriminating Lambda-Terms Using Clocked Boehm Trees
  Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop and Andrew Polonsky


5. Interaction and Depth against Nondeterminism in Proof Search
  Ozan Kahramanogullari


6. Partial Order Infinitary Term Rewriting
  Patrick Bahr


7. Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
  Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop and Vincent van Oostrom


8. Computability of 1-manifolds
  Konrad Burnik and Zvonko Iljazovic


9. Locating Ax, where A is a subspace of B(H)
  Douglas Suth Bridges


10. Global Numerical Constraints on Trees
  Everardo Barcenas and Jesus Lavalle


11. Dynamic Tags for Security Protocols
  Myrto Arapinis, Stéphanie Delaune and Steve Kremer


12. Unsolvability Cores in Classification Problems
  Hermann K.-G. Walter and Ulrike Brandt


13. Probability Logic for Harsanyi Type Spaces
  Chunlai Zhou


14. Parity and Streett Games with Costs
  Nathanaël Fijalkow and Martin Zimmermann


15. Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
  Adrian Francalanza, Edsko DeVries and Matthew Hennessy


16. Small Stone in Pool
  Samuel R. Buss and Leszek A. Kołodziejczyk


17. Synthesis from Probabilistic Components
  Yoad Lustig, Sumit Nain and Moshe Y. Vardi


Creative Commons