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