按相关排序
全部格式
全部页数
时间不限
只看优质
只看可投资
展开
排序：
相关 最多阅读 最新上传
格式：
全部 doc pdf ppt xls txt 豆单
页数：
全部 1-8页 9-100页 100页以上
时间：
全部 2024年 2023年 2022年及以前
20
The density of truth in monadic fragments of some intermediate logics.pdf
The density of truth in monadic fragments of some intermediate logics
收藏到书房
22
Combining Logic Programs and Monadic Second Order Logics by Program Transformation.pdf
Combining Logic Programs and Monadic Second Order Logics by Program Transformation
收藏到书房
28
On a monadic semantics for freshness - Fresh O´Caml.pdf
On a monadic semantics for freshness - Fresh O´Caml
收藏到书房
29
peano arithmetic may not be interpretable in the monadic theory of orders.pdf
peano arithmetic may not be interpretable in the monadic theory of orders
收藏到书房
22
On the model-checking of monadic second-order formulas with edge set quantifications.pdf
On the model-checking of monadic second-order formulas with edge set quantifications
收藏到书房
24
the equivalence of tree adjoining grammars and monadic linear context-free tree grammars.pdf
the equivalence of tree adjoining grammars and monadic linear context-free tree grammars
收藏到书房
29
On the expressive power of user-defined effects effect handlers, monadic reflection, delimited control.pdf
On the expressive power of user-defined effects effect handlers, monadic reflection, delimited control
收藏到书房
33
A Monadic Approach to Poly-Categories.pdf
A Monadic Approach to Poly-Categories
收藏到书房
21
Separation Logic with Monadic Inductive Definitions and Implicit Existentials.pdf
Separation Logic with Monadic Inductive Definitions and Implicit Existentials
收藏到书房

向豆丁求助：有没有monadic?

相关搜索
如要投诉违规内容，请联系我们按需举报；如要提出意见建议，请到社区论坛发帖反馈。