Formal synthesis of a unification algorithm by the deductive-tableau method (Q3835052)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal synthesis of a unification algorithm by the deductive-tableau method |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal synthesis of a unification algorithm by the deductive-tableau method |
scientific article |
Statements
Formal synthesis of a unification algorithm by the deductive-tableau method (English)
0 references
1989
0 references
unification algorithm
0 references
deductive-tableau method
0 references
program synthesis
0 references
0.90785134
0 references
0.88209397
0 references
0.8673907
0 references
0.8622306
0 references
