Back to Results
First PageMeta Content
Model theory / Formal languages / Mathematical logic / First-order logic / Predicate logic / Interpretation / Well-formed formula / Linear temporal logic / Craig interpolation


Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda
Add to Reading List

Document Date: 2008-12-16 18:44:40


Open Document

File Size: 233,92 KB

Share Result on Facebook