Back to Results
First PageMeta Content
Formal 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
Add to Reading List

Document Date: 2013-09-18 06:36:01


Open Document

File Size: 181,35 KB

Share Result on Facebook