123
LIFTING OF OPERATIONS IN MODULAR MONADIC SEMANTICS.pdf
LIFTING OF OPERATIONS IN MODULAR MONADIC SEMANTICS
29
The complexity of first-order and monadic second-order logic revisited.pdf
The complexity of first-order and monadic second-order logic revisited
44
Monadic logical definability of nondeterministic linear time.pdf
Monadic logical definability of nondeterministic linear time
43
graph decompositions and monadic second order logic.pdf
graph decompositions and monadic second order logic
48
Linear delay enumeration and monadic second-order logic.pdf
Linear delay enumeration and monadic second-order logic
63
The monadic second-order logic of graphs IV definability properties of equational graphs.pdf
The monadic second-order logic of graphs IV definability properties of equational graphs
41
A Monadic Framework for Delimited Continuations.pdf
A Monadic Framework for Delimited Continuations
31
On the Expressive Power of Monadic Least Fixed Point Logic.pdf
On the Expressive Power of Monadic Least Fixed Point Logic
33
coloring rules for finite trees, and probabilities of monadic second order sentences.pdf
coloring rules for finite trees, and probabilities of monadic second order sentences
30
A Re-assessment of Liberal Pacifism at the Monadic Level of….pdf
A Re-assessment of Liberal Pacifism at the Monadic Level of…

向豆丁求助:有没有monadic?

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