Title论TRS的交汇性
Other TitlesOn Confluence of TRS
Authors郝兆宽
Affiliation北京大学哲学系,北京 100871
Issue Date2000
Publisher自然辩证法研究
Citation自然辩证法研究.2000,16,(z1),10-13.
Abstract1导论 一个字重写系统[TRS)是一个序对(∑,R),其中∑是一个字母表,9i为一集归约(重写)规则。
URIhttp://hdl.handle.net/20.500.11897/60480
ISSN1000-8934
DOI10.3969/j.issn.1000-8934.2000.z1.004
Indexed中文核心期刊要目总览(PKU)
中国社会科学引文索引(CSSCI)
Appears in Collections:哲学系(宗教学系)

Files in This Work
Adobe PDF

Web of Science®



Checked on Last Week

Scopus®



Checked on Current Time

百度学术™



Checked on Current Time

Google Scholar™





License: See PKU IR operational policies.