First Page | Document Content | |
---|---|---|
Date: 2011-04-14 03:17:50Formal languages Model theory First-order logic Predicate logic Golden ratio Well-formed formula Binary tree Function Linear temporal logic Logic Mathematics Mathematical logic | Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,1 Pierre Genev`es,2 Nabil Laya¨ıda,1 and Alan Schmitt1 1 INRIA, France 2 CNRS, FranceAdd to Reading ListSource URL: wam.inrialpes.frDownload Document from Source WebsiteFile Size: 213,98 KBShare Document on Facebook |