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
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
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
© 2008-2024 Fundación Dialnet · Todos los derechos reservados