×

找到35份文件(结果1-35)

全纯作用线性化能力的一个表征。 (英语) Zbl 1503.32013年

MSC公司:32M17型
PDF格式BibTeX公司 XML格式引用

Schreier在幺半群和半环中分裂了满态。 (英语) Zbl 1294.18001号

Matemática课本45.哥印布拉:科印布拉大学,马特马提卡省(ISBN 978-972-8564-49-0/pbk)。第六章,116页。(2013).
PDF格式BibTeX公司 XML格式引用

仿射曲面SL(2)-嵌入。 (英语。俄文原件) Zbl 1171.14036号

Sb.数学。 199,第3期,319-339(2008); 翻译自Mat.Sb.199,No.3,3-24(2008)。
PDF格式BibTeX公司 XML格式引用

从行动计算到线性逻辑。 (英语) Zbl 0908.03031号

尼尔森,莫根斯(编辑)等人,《计算机科学逻辑》。第11届国际研讨会,CSL’97。1997年8月23日至29日,在丹麦奥胡斯举行的EACSL年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1414, 78-97 (1998).
MSC公司:03B60号 03G30型
PDF格式BibTeX公司 XML格式引用

高阶动作计算的类型和模型。 (英语) Zbl 0885.03036号

马丁·阿巴迪等人,《计算机软件的理论方面》。第三届国际研讨会,1997年TACS。1997年9月23日至26日,日本仙台。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1281, 583-603 (1997).
PDF格式BibTeX公司 XML格式引用

单体范畴的辫状群和对偶。 (英语) Zbl 0784.18004号

Seely,R.A.G.(编辑),范畴理论,1991年。1991年6月23日至30日在加拿大魁北克省蒙特利尔举行的国际夏季类别理论会议记录。普罗维登斯,RI:美国数学学会。CMS确认程序。13, 329-343 (1992).
MSC公司:18日第10天 16瓦30 17层37 18天35分 81R50美元 83立方厘米 57平方米
PDF格式BibTeX公司 XML格式引用

精确伪平面上的三角图。 (俄语) Zbl 0755.03019号

模型理论,Proc。苏联-Fr.Colloq.,卡拉干达/苏联,1990年,185-201年(1990年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份