Mathematical structures in computer science (MSCS)

• 

  Año 2010, Vol. 20, Número 5. Dedicado a: Therory and applications of models of computation (TAMC 200-2009)

  • Theory and applications of models of computation (TAMC 2008-2009): preface to special issue

    Manindra Agrawal, Barry Cooper, Angsheng Li

    págs. 705-706

    

  • Quantitative aspects of speed-up and gap phenomena

    Klaus Ambos-Spies, Thorsten Kräling

    págs. 707-722

    

  • Semantical proofs of correctness for programs performing non-deterministic test on real numbers

    Thomas Anberrée

    págs. 723-751

    

  • Bounded minimalisation and bounded counting in argument-bounded idc's

    Mathias Barra

    págs. 753-779

    

  • Weak bisimulations for the Giry monad

    Ernst-Erich Doberkat

    págs. 781-798

    

  • Diamond embeddings into the enumeration degrees

    Andrea Sorbi, Guohua Wu, Yue Yang

    págs. 799-811

    

  • Tilings: simulation and universality

    Gregory Lafitte

    págs. 813-850

    

  • A practical parameterised algorithm for the individual haplotyping problem MLF

    Minzhu Xie, Jianxin Wang, Jianer Chen

    págs. 851-863

    

  • Axiomatic semantics of projection temporal logic programs

    Xiaoxiao Yang, Zhenhua Duan, Qian Ma

    págs. 865-914

    

  • Connection between logical and algebraic approaches to concurrent systems

    Naijun Zhan

    págs. 915-950

    

  • The computational SLR: a logic for reasoning about computational indistinguishability

    Yu Zhang

    págs. 951-975

    

  • A separation between divergence and Holevo information for ensembles

    Rahul Jain, Ashwin Nayak, Yi Su

    págs. 977-993