制造业外文文献服务平台 | foreigndata.cmes.org | 全球机械文献资源网

期刊

ISSN	0304-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

2002, vol.286, no.1	2002, vol.286, no.2	2002, vol.287, no.1	2002, vol.287, no.2	2002, vol.288, no.2	2002, vol.289, no.1
2002, vol.289, no.2

题名	作者	出版年	年卷期
CASL: the common algebraic specification language	Egidio Astesiano; Michel Bidoit; Helene Kirchner; Bernd Krieg-Bruckner; Peter D. Mosses; Donald Sannella; Andrzej Tarlecki	2002	2002, vol.286, no.2
Logical systems for structured specifications	Tomasz Borzyszkowski	2002	2002, vol.286, no.2
Normal forms for algebras of connections	Roberto Bruni; Fabio Gadducci; Ugo Montanari	2002	2002, vol.286, no.2
A functorial semantics for multi-algebras and partial algebras, with applications to syntax	Andrea Corradini; Fabio Gadducci	2002	2002, vol.286, no.2
Rasiowa-Sikorski deduction systems in computer science applications	Beata Konikowska	2002	2002, vol.286, no.2
Relating CASL with other specification languages: the institution level	Till Mossakowski	2002	2002, vol.286, no.2

制造业外文文献服务平台