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)

   Volume 11 (2015)

   Volume 12 (2016)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 13 (2017)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 12, ISSUE 3


1. Reasoning about data repetitions with counter systems
  Stéphane Demri, Diego Figueira and M Praveen


2. Dualized Simple Type Theory
  Harley D Eades III, Aaron D Stump and Ryan McCleeary


3. Block Structure vs Scope Extrusion: Between Innocence and Omniscience
  Andrzej S. Murawski and Nikos Tzevelekos


4. How Much Lookahead is Needed to Win Infinite Games?
  Felix Klein and Martin Zimmermann


5. Solving finite-domain linear constraints in presence of the alldifferent
  Milan Banković


6. Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
  Konstantinos Mamouras


7. The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
  Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl and Lars Birkedal


8. Build your own clarithmetic I: Setup and completeness
  Giorgi Japaridze


9. Idempotents in intensional type theory
  Michael Shulman


10. Z-stability in constructive analysis
  Douglas Sutherla Bridges, James Edgar Dent and Maarten Nicolaas McKubre-Jordens


11. Data optimizations for constraint automata
  Sung-Shik T.Q. Jongmans and Farhad Arbab


12. Build your own clarithmetic II: Soundness
  Giorgi Japaridze


13. On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
  Federico Aschieri


Creative Commons