期刊


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

2003, vol.290, no.1 2003, vol.290, no.2 2003, vol.290, no.3 2003, vol.291, no.1 2003, vol.291, no.2 2003, vol.291, no.3
2003, vol.292, no.1 2003, vol.292, no.2 2003, vol.292, no.3 2003, vol.293, no.1 2003, vol.293, no.2 2003, vol.293, no.3
2003, vol.294, no.1-2 2003, vol.294, no.3 2003, vol.295, no.1-3 2003, vol.296, no.1 2003, vol.296, no.2 2003, vol.296, no.3
2003, vol.297, no.1-3 2003, vol.298, no.1 2003, vol.298, no.2 2003, vol.298, no.3 2003, vol.299, no.1-3 2003, vol.300, no.1-3
2003, vol.301, no.1-3 2003, vol.302, no.1-3 2003, vol.303, no.1 2003, vol.303, no.2-3 2003, vol.304, no.1-3 2003, vol.305, no.1-3
2003, vol.306, no.1-3 2003, vol.307, no.1 2003, vol.307, no.2 2003, vol.307, no.3 2003, vol.308, no.1-3 2003, vol.309, no.1-3

题名作者出版年年卷期
Towards a semantics of proofs for non-commutative logic: multiplicatives and additivesV. Michele Abrusci20032003, vol.294, no.3
Computational isomorphisms in classical logicVincent Danos; Jean-Baptiste Joinet; Harold Schellinx20032003, vol.294, no.3
Coherence for sharing proof-netsStefano Guerrini; Simone Martini; Andrea Masini20032003, vol.294, no.3
Encoding transition systems in sequent calculusRaymond McDowell; Dale Miller; Catuscia Palamidessi20032003, vol.294, no.3
Chu spaces as a semantic bridge between linear logic and mathematicsVaughan Pratt20032003, vol.294, no.3
Handsome proof-nets: perfect matchings and cographsChristian Retore20032003, vol.294, no.3
Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser propertyLorenzo Tortora de Falco20032003, vol.294, no.3
Phase semantics for light linear logicMax I. Kanovich; Mitsuhiro Okada; Andre Scedrov20032003, vol.294, no.3
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logicMisao Nagayama; Mitsuhiro Okada20032003, vol.294, no.3



制造业外文文献服务平台