×

找到10个文档(结果1-10)

固定点逻辑和分层固定点逻辑的“Ehrenfeucht-Fraíssé博弈”。 (英语) Zbl 0808.03024号

Börger,Egon(编辑)等人,《计算机科学逻辑》。1992年9月28日至10月2日,意大利圣米尼亚托,CSL’92第六次研讨会。精选论文。柏林:Springer-Verlag。莱克特。注释计算。科学。702, 100-114 (1993).
PDF格式BibTeX公司 XML格式引用

稳定分层流中的波浪和湍流。基于1989年12月英国利兹大学数学及其应用研究所组织的会议记录。 (英语) Zbl 0783.76003号

数学及其应用研究所系列会议。新系列. 40. 牛津:克拉伦登出版社。xiii,465页(1993年)。
MSC公司:76-06 76B60码 76F10层 00B25型 86A10美元
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型