Please use this identifier to cite or link to this item:
doi:10.22028/D291-38956 | Title: | Some basic notions of first-order unification theory |
| Author(s): | Herold, Alexander |
| Language: | English |
| Year of Publication: | 1983 |
| Place of publication: | Karlsruhe |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | This report does not contain much novel material, but collects the basic notions and the most frequently used lemmata and theorems of first order unification theory. It is restricted to the case of free terms (i.e. no defining equations). |
| Link to this record: | urn:nbn:de:bsz:291--ds-389568 hdl:20.500.11880/35467 http://dx.doi.org/10.22028/D291-38956 |
| Series name: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
| Series volume: | 83,15 |
| Date of registration: | 20-Mar-2023 |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professorship: | SE - Sonstige |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SEKI-MEMO-83-15_Herold_Some-Basic-Notions-of-First-Order-Unification-Theory.pdf | 29,19 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.