27 search results - page 6 / 6 » On rewrite constraints and context unification |
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
JIIS
2006
13 years 5 months ago
2006
Abstract In recent years, researchers have begun to study inductive databases, a new generation of databases for leveraging decision support applications. In this context, the user...