-
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?