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)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 7, ISSUE 1


1. Algebraic Notions of Termination
  Desharnais Jules, Bernhard Moeller and Struth Georg


2. Semantics of Typed Lambda-Calculus with Constructors
  Barbara Petit


3. Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
  Guillaume Burel


4. Generic Modal Cut Elimination Applied to Conditional Logics
  Dirk Pattinson and Lutz Schröder


5. Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
  Mark Kaminski, Sigurd Schneider and Gert Smolka


6. A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
  Stéphane Jean Lengrand, Roy Dyckhoff and James McKinna


7. A calculus for costed computations
  Matthew Hennessy


8. From coinductive proofs to exact real arithmetic: theory and applications
  Ulrich Berger


9. Functional Interpretations of Intuitionistic Linear Logic
  Gilda Ferreira and Paulo Oliva


10. Equality Saturation: A New Approach to Optimization
  Ross Tate, Michael Stepp, Zachary Tatlock and Sorin Lerner


11. Psi-calculi: a framework for mobile processes with nominal data and logic
  Jesper Bengtson, Magnus Johansson, Joachim Parrow and Björn Victor


12. Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
  Taolue Chen, Tingting Han, Joost-Pieter Katoen and Alexandru Mereacre


13. Relating coalgebraic notions of bisimulation
  Sam Staton


14. Being Van Kampen is a universal property
  Pawel Sobocinski and Tobias Heindel


15. Semantics of Higher-Order Recursion Schemes
  Jiri Adamek, Stefan Milius and Jiri Velebil


Creative Commons