Titlebook: Rewriting Techniques and Applications; 12th International C Aart Middeldorp Conference proceedings 2001 Springer-Verlag Berlin Heidelberg 2

Polk

書目名稱Rewriting Techniques and Applications影響因子(影響力)




書目名稱Rewriting Techniques and Applications影響因子(影響力)學(xué)科排名




書目名稱Rewriting Techniques and Applications網(wǎng)絡(luò)公開度




書目名稱Rewriting Techniques and Applications網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Rewriting Techniques and Applications被引頻次




書目名稱Rewriting Techniques and Applications被引頻次學(xué)科排名




書目名稱Rewriting Techniques and Applications年度引用




書目名稱Rewriting Techniques and Applications年度引用學(xué)科排名




書目名稱Rewriting Techniques and Applications讀者反饋




書目名稱Rewriting Techniques and Applications讀者反饋學(xué)科排名

Constrain

General Recursion on Second Order Term Algebraserms of the untyped lambda calculus, encoded as elements of a second order term algebra. First order encodings based on de Bruijn indexes are also considered. The examples also show that a version of the intersection type disciplines can be helpful in some cases to prove the existence of a canonical

信徒

GULF

Maximizer

Markus Lohrey-orientable regular maps having less than 6 faces..Our and earlier results indicate that the orientable case seems to admit in a certain sense much more regular maps than the non-orientable case. This becomes plausible, if we take into consideration the crystallographic aspect. The group of the map

放肆的你

critic

記憶法

農(nóng)學(xué)

978-3-540-42117-7Springer-Verlag Berlin Heidelberg 2001

不斷的變動