中国机械工程学会生产工程分会知识服务平台

期刊


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

2014, vol.515 2014, vol.516 2014, vol.517 2014, vol.518 2014, vol.519 2014, vol.520
2014, vol.521 2014, vol.522 2014, vol.523 2014, vol.524 2014, vol.525 2014, vol.526
2014, vol.527 2014, vol.528 2014, vol.529 2014, vol.530 2014, vol.531 2014, vol.532
2014, vol.533 2014, vol.534 2014, vol.535 2014, vol.536 2014, vol.537 2014, vol.538
2014, vol.539 2014, vol.540/541 2014, vol.543 2014, vol.544 2014, vol.545 2014, vol.546
2014, vol.547 2014, vol.548 2014, vol.549 2014, vol.550 2014, vol.551 2014, vol.551, no.
2014, vol.552 2014, vol.553 2014, vol.554 2014, vol.555 2014, vol.556 2014, vol.557
2014, vol.558 2014, vol.559 2014, vol.559, no. 2014, vol.560, no.Pt.1 2014, vol.560, no.Pt.2 2014, vol.560, no.Pt.3

题名作者出版年年卷期
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexityBresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido20142014, vol.560, no.Pt.3
The mu-calculus alternation hierarchy collapses over structures with restricted connectivityGutierrez, Julian; Klaedtke, Felix; Lange, Martin20142014, vol.560, no.Pt.3
Model-checking process equivalencesLange, Martin; Lozes, Etienne; Guzman, Manuel Vargas20142014, vol.560, no.Pt.3
Validating XML document adaptations via Hedge Automata transformationsSolimando, Alessandro; Delzanno, Giorgio; Guerrini, Giovanna20142014, vol.560, no.Pt.3
Interface simulation distancesCerny, Pavol; Chmelik, Martin; Henzinger, Thomas A.; Radhakrishna, Arjun20142014, vol.560, no.Pt.3
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensionsLongo, Cristiano; Cantone, Domenico20142014, vol.560, no.Pt.3
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphsCanavoi, Felix; Graedel, Erich; Rabinovich, Roman20142014, vol.560, no.Pt.3
Preface to the special issue on GandALF 2012Faella, Marco; Murano, Aniello20142014, vol.560, no.Pt.3
Program verification using symbolic game semanticsDimovski, Aleksandar S.20142014, vol.560, no.Pt.3
Down the Borel hierarchy: Solving Muller games via safety gamesNeider, Daniel; Rabinovich, Roman; Zimmermann, Martin20142014, vol.560, no.Pt.3
12345678910...



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024