Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection
Autor(en): | Schmidt, Martin | Stichwörter: | Computer science; Order (exchange); Unification; Projection (relational algebra); Mathematics; Algorithm | Erscheinungsdatum: | 2010 | Externe URL: | https://ikw.uni-osnabrueck.de/de/system/files/31-2010.pdf |
Show full item record