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).
第一著者: Dovier, Agostino
その他の著者: Omodeo, Eugenio G., Policriti, Alberto
フォーマット: 論文
言語:English
主題: