Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
msol_over_strings [2007/05/06 19:03] vkuncak created |
msol_over_strings [2007/05/06 19:04] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== MSOL over Strings ====== | ||
| ===== Syntax and Semantics of Weak Monadic Second-Order Logic over Strings ===== | ===== Syntax and Semantics of Weak Monadic Second-Order Logic over Strings ===== | ||