Searching for "Properties of Substitutions and Unifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Automated Reasoning (Bibliography)
by A. Degtyarev, A. Voronkov, Formal Techniques — 1997
… of simultaneous rigid E-unification. Theoretical Computer Science, 166:10, 1996. [Ede 85] E. Eder. Properties…
Add To MetaCart

Optimal Non-Deterministic Functional Logic Computations
by Sergio Antoy — 1298 — In Proc. International Conference on Algebraic and Logic Programming (ALP’97
… ◦ σ. For a discussion of properties of substitutions and unifications used in this paper, see, e…
Cited by 47 (26 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB