Solvable Set II. A Goal-Driven Unification Algorithm for the Blended Case.
A universe composed by rational ground terms is characterized, both constructively and axiomatically, where the interpreted construct with which designates the operation of adjoining one element to a set, coexists with free Herbrand functors. Ordinary syntactic equivalence must be superseded by a bi...
| প্রকাশিত: | Applicable algebra in engineering, communication and computing. 9, 4 (1999). |
|---|---|
| প্রধান লেখক: | |
| অন্যান্য লেখক: | , |
| বিন্যাস: | প্রবন্ধ |
| ভাষা: | English |
| বিষয়গুলি: |