期刊


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

2020, vol.801 2020, vol.802 2020, vol.803 2020, vol.804 2020, vol.805 2020, vol.806
2020, vol.807 2020, vol.808 2020, vol.809 2020, vol.810 2020, vol.811 2020, vol.812
2020, vol.813 2020, vol.814 2020, vol.815 2020, vol.816 2020, vol.817 2020, vol.818
2020, vol.819 2020, vol.820 2020, vol.821 2020, vol.822 2020, vol.823 2020, vol.824/825
2020, vol.826/827 2020, vol.828/829 2020, vol.830/831 2020, vol.832 2020, vol.833 2020, vol.834
2020, vol.835 2020, vol.836 2020, vol.837 2020, vol.838 2020, vol.839 2020, vol.840
2020, vol.841 2020, vol.842 2020, vol.843 2020, vol.844 2020, vol.845 2020, vol.846
2020, vol.847 2020, vol.848

题名作者出版年年卷期
Complexity assessments for decidable fragments of set theory. II: A taxonomy for 'small' languages involving membershipCantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G.20202020, vol.848
Operator precedence temporal logic and model checkingChiari, Michele; Mandrioli, Dino; Pradella, Matteo20202020, vol.848
Stability of termination and sufficient-completeness under pushouts via amalgamationGaina, Daniel; Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi20202020, vol.848
Parallel rewriting of attributed graphsde la Tour, Thierry Boy; Echahed, Rachid20202020, vol.848
Anti-unification and the theory of semiringsCerna, David M.20202020, vol.848
Conditional probability logic, lifted Bayesian networks, and almost sure quantifier eliminationKoponen, Vera20202020, vol.848