共 50 条
- [32] Normalisation by Completeness with Heyting Algebras LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 469 - 482
- [33] POST COMPLETENESS AND FREE ALGEBRAS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (04): : 343 - 347
- [39] Invariants of partial group algebras of finite p-groups GROUPS, RINGS AND GROUP RINGS, 2009, 499 : 89 - +