some image logo

HOME

SEARCH

CURRENT ISSUE

   Volume 12 Issue 4

REGULAR ISSUES

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