scientific article; zbMATH DE number 1759452

MaRDI QIDQ4536402zbMATH OpenFDO

Authors Thomas Schwentick

Publication date 4 November 2002

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70) Database theory (68P15)

Recommendations

• Interpreting Tree-to-Tree Queries
• scientific article; zbMATH DE number 1950751
• scientific article; zbMATH DE number 2080462
• Logical definability and query languages over ranked and unranked trees
• Conjunctive queries over trees

Cited in

(6)

• Computing on a free tree via complexity-preserving mappings
• Querying linguistic treebanks with monadic second-order logic in linear time
• PDL for ordered trees
• scientific article; zbMATH DE number 4070292 (Why is no real title available?)
• scientific article; zbMATH DE number 1950751 (Why is no real title available?)
• Automata for XML -- a survey

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536402)