TO
1 - 25 of 2
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Freire, Juliana | Indexing relations on the web | There has been a substantial increase in the volume of (semi) structured data on the Web. This opens new opportunities for exploring and querying these data that goes beyond the keyword-based queries traditionally used on the Web. But supporting queries over a very large number of apparently disconn... | Dataspaces; Web relations; Rewriting | 2010 |
| 2 |
 | Gopalakrishnan, Ganesh | psolve: Deciding satisfiability for presburger formulae using automata, rewriting and a model checker | Presburger formulas are an expressive but decidable language of arithmetic expressions and boolaen connectives with quantification. psolve is a prototype of an automata based tool for deciding the satisfiability of Presburger formulae extended with a predicate that recognizes powers of two. The uniq... | psolve; Presburger formulas; Satisfiability; Automata; Rewriting; Model checker | 1999 |
1 - 25 of 2