<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-09-18 06:36:01Formal languages FO Finite model theory Regular language Second-order logic Mathematical logic Linear temporal logic |
|
| First Page | Document Content | |
|---|---|---|
Date: 2013-09-18 06:36:01Formal languages FO Finite model theory Regular language Second-order logic Mathematical logic Linear temporal logic |
|
On properties of logical sentences with arbitrary monadic predicates 1 Nathana¨el Fijalkow and Charles Paperman LIAFA Universit´ e Paris Diderot