期刊


ISSN0304-3975
刊名Theoretical Computer Science
参考译名理论计算机科学
收藏年代2002～2024



全部

2002 2003 2004 2005 2006 2007
2008 2009 2010 2011 2012 2013
2014 2015 2016 2017 2018 2019
2020 2021 2022 2023 2024

2017, vol.657, no.Pt.A 2017, vol.657, no.Pt.B 2017, vol.658, no.Pt.A 2017, vol.658, no.Pt.B 2017, vol.659 2017, vol.660
2017, vol.661 2017, vol.662 2017, vol.663 2017, vol.664 2017, vol.665 2017, vol.666
2017, vol.667 2017, vol.668 2017, vol.669 2017, vol.670 2017, vol.671 2017, vol.672
2017, vol.673 2017, vol.674 2017, vol.675 2017, vol.676 2017, vol.677 2017, vol.678
2017, vol.679 2017, vol.680 2017, vol.681 2017, vol.682 2017, vol.683 2017, vol.684
2017, vol.685 2017, vol.686 2017, vol.687 2017, vol.688 2017, vol.689 2017, vol.690
2017, vol.691 2017, vol.692 2017, vol.693 2017, vol.694 2017, vol.695 2017, vol.696
2017, vol.697 2017, vol.698 2017, vol.699 2017, vol.700 2017, vol.701 2017, vol.702
2017, vol.703 2017, vol.704

题名作者出版年年卷期
A graph-based framework for the analysis of access control policiesAlves, Sandra; Fernandez, Maribel20172017, vol.685
Bisimilar and logically equivalent programs in PDL with parallel operatorBenevides, Mario20172017, vol.685
On concurrent behaviors and focusing in linear logicOlarte, Carlos; Pimentel, Elaine20172017, vol.685
Formal metatheory of the Lambda calculus using Stoughton's substitutionCopello, Ernesto; Szasz, Nora; Tasistro, Alvaro20172017, vol.685
On a graph calculus for modalitiesVeloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.20172017, vol.685
Logical and Semantic Frameworks with Applications PrefaceAyala-Rincon, Mauricio; Mackie, Ian; Montanari, Ugo20172017, vol.685



制造业外文文献服务平台