43
groups, graphs, languages, automata, games and second-order monadic logic.pdf
arXiv:1201.3108v1[math.GR] 15 Jan 2012Groups, Graphs, Languages, Automata, Games Second-orderMonadic
214
Pro Scala Monadic Design Patterns For The WebGregory Meredith2012.pdf
Pro Scala Monadic Design Patterns For The WebGregory Meredith2012
68
Generalizing proofs in monadic languages.pdf
Generalizing proofs in monadic languages
93
a monadic analysis of information flow security with mutable state.pdf
a monadic analysis of information flow security with mutable state
60
tackling the awkward squad monadic inputoutput, concurrency, exceptions, and foreign-langua32255.pdf
AwkwardSquad:monadic input/output, concurrency, exceptions, andforeign-language calls HaskellSimonPE
60
tackling the awkward squad monadic inputoutput, concurrency, exceptions, and foreign-langua32264.pdf
AwkwardSquad:monadic input/output, concurrency, exceptions, andforeign-language calls HaskellSimonPE
70
Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures.pdf
Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures
50
circle graphs and monadic second-order logic:圈图和一元二阶逻辑.pdf
Circlegraphs monadicsecond-order logicBruno Courcelle?,?aLaBRI, Universit Bordeaux CNRS351Cours de l
109
Pro Scala Monadic Design Patterns for the Web.pdf
Pro Scala Monadic Design Patterns for the Web
1篇相似文档

向豆丁求助:有没有monadic?

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