Order-Sorted Unification with Regular Expression Sorts.
Temur KutsiaMircea MarinPublished in: RTA (2010)
Keyphrases
- regular expressions
- order sorted
- predicate logic
- pattern matching
- finite automata
- query language
- semistructured data
- xml schema
- matching algorithm
- theorem prover
- deterministic finite automata
- static analysis
- query evaluation
- theorem proving
- data model
- string matching
- database
- artificial intelligence
- regular path queries
- lower level
- transitive closure
- data analysis
- machine learning