Regular Tree Languages and Rewrite Systems.
Rémi GilleronSophie TisonPublished in: Fundam. Informaticae (1995)
Keyphrases
- rewrite systems
- regular tree languages
- xml schema
- tree automata
- tree languages
- term rewriting
- active rules
- knuth bendix
- integrity constraints
- regular expressions
- xml documents
- finite automata
- theorem prover
- finite state
- object oriented
- metadata
- theorem proving
- conceptual model
- operational semantics
- data exchange
- context free
- business processes
- context free grammars
- xml data
- data sources
- data model
- relational databases