Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

RTA
1998
Springer

favoriteEmaildiscussreport

120views Theoretical Computer Science» more RTA 1998»

Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic

13 years 9 months ago

Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic

Download www.coli.uni-saarland.de

The system FT

Martin Müller, Joachim Niehren

Real-time Traffic

Entailment Problem | Existential Quantification | First-order Theory | RTA 1998 | Theoretical Computer Science |

claim paper

Related Content

» Expressing Cardinality Quantifiers in Monadic SecondOrder Logic over Trees

» Monadic SecondOrder Logic and Transitive Closure Logics over Trees

» XML Transformation Language Based on Monadic Second Order Logic

» Existential SecondOrder Logic over Strings

» Representability in SecondOrder Propositional PolyModal Logic

» On Spatial Conjunction as SecondOrder Logic

» Representing Constraints with Automata

» Monadic datalog over finite structures with bounded treewidth

» Monadic Datalog and the Expressive Power of Languages for Web Information Extraction

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1998
Where	RTA
Authors	Martin Müller, Joachim Niehren

Comments (0)