发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Typing theorems of omega algebra

Typing theorems of omega algebra

Guttmann, Walter

期刊名称The Journal of Logic and Algebraic Programming
作者Guttmann, Walter
卷第81卷
期第6期
印刷ISSN1567-8326
文件大小355.58KB
发表时间2012-8
DOI10.1016/j.jlap.2012.05.002
页码643-659

← 返回【学霸图书馆】主页