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)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   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 7, ISSUE 3


1. The Derivational Complexity Induced by the Dependency Pair Method
  Georg Moser and Andreas Schnabl


2. Realizability algebras: a program to well order R
  Jean-Louis Krivine


3. EXPTIME Tableaux for the Coalgebraic mu-Calculus
  Corina Cirstea, Clemens Kupke and Dirk Pattinson


4. Monotonicity Constraints for Termination in the Integer Domain
  Amir M. Ben-Amram


5. Co-c.e. spheres and cells in computable metric spaces
  Zvonko Iljazovic


6. Constraint solving in non-permutative nominal abstract syntax
  Matthew R. Lakin


7. Permission-Based Separation Logic for Message-Passing Concurrency
  Adrian Francalanza, Julian Rathke and Vladimiro Sassone


8. Conway games, algebraically and coalgebraically
  Furio Honsell and Marina Lenisa


9. Answering Non-Monotonic Queries in Relational Data Exchange
  André Hernich


10. Logical Concurrency Control from Sequential Proofs
  Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath and Kapil Vaswani


11. Real Analytic Machines and Degrees
  Tobias Gärtner and Martin Ziegler


12. On the mathematical synthesis of equational logics
  Marcelo Fiore and Chung-Kil Hur


13. Composition with Target Constraints
  Marcelo Arenas, Ronald Fagin and Alan Nash


14. Randomisation and Derandomisation in Descriptive Complexity Theory
  Kord Eickmeyer and Martin Grohe


15. Coherent and finiteness spaces
  Pierre Hyvernat


16. Algorithmic Randomness and Capacity of Closed Sets
  Douglas Cenzer, Paul Brodhead, Ferit Toska and Sebastian Wyman


17. Attacker Control and Impact for Confidentiality and Integrity
  Aslan Askarov and Andrew Myers


18. Kripke Semantics for Martin-Löf's Extensional Type Theory
  Steve Awodey and Florian Rabe


19. Formalization of Abstract State Transition Systems for SAT
  Filip Marić and Predrag Janičić


20. The Complexity of Nash Equilibria in Stochastic Multiplayer Games
  Michael Ummels and Dominik Wojtczak


21. Nested Hoare Triples and Frame Rules for Higher-order Store
  Jan Schwinghammer, Lars Birkedal, Bernhard Reus and Hongseok Yang


22. Power of Randomization in Automata on Infinite Strings
  Rohit Chadha, A. Prasad Sistla and Mahesh Viswanathan


23. An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms
  Oliver Friedmann


Creative Commons