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
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
53
Graph structure and Monadic second-order logic - LaBRI.pdf
Graph structure and Monadic second-order logic - LaBRI
62
tackling the awkward squad monadic inputoutput, concurrency,.pdf
AwkwardSquad:monadic input/output, concurrency, exceptions, andforeign-language calls HaskellSimonPE

向豆丁求助:有没有monadic?

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