Searching for "Completness Results for Basic Narrowing." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Completeness Results for Basic Narrowing
- …Completeness Results for Basic Narrowing 1 Aart Middeldorp 2 Institute of Information Sciences…
- Cited by 39 (3 self) – Add To MetaCart
-
Lazy Narrowing: Strong Completeness and Eager Variable Elimination
- … that lnc lacks strong completeness. An important improvement over narrowing is basic narrowing (Hullot [11…
- Cited by 40 (13 self) – Add To MetaCart
-
Lazy Narrowing: Strong Completeness and Eager Variable Elimination
- … the known completeness results for basic narrowing. Part (1) is due to Hullot [11]. Parts (2) and (3…
- Add To MetaCart
-
Proc. of the First CCL Workshop
- …. Middeldorp and E. Hamoen. Counterexamples to completeness results for basic narrowing. In Proc. Third Int…
- Add To MetaCart
-
Conditional Rewriting Modulo a Built-in Algebra; Jürgen Avenhaus and Klaus
- … Counterexamples to Completeness Results for Basic Narrowing; Eric Hamoen 48 AC1-Unification/Matching in Linear…
- Add To MetaCart
-
Contents Conditional Rewriting Modulo a Built-in Algebra; J"urgen Avenhaus and Klaus
- …; Georgios Grivas 43 Counterexamples to Completeness Results for Basic Narrowing; Eric Hamoen 48 AC1…
- Add To MetaCart
Showing 1 through 6.
