Search results
Did you mean: unification
The page "Unifikation" does not exist. You can create a draft and submit it for review or request that a redirect be created, but consider checking the search results below to see whether the topic is already covered.
- Erlangen-Nuremberg, German Research Centre for Artificial Intelligence Thesis Unifikation und Reduktionssysteme für Halbgruppenvarietäten (1989) Doctoral advisor...5 KB (287 words) - 12:16, 1 May 2024
- 1007/3-540-53904-2_88. Free monoids: Biere, A. (1993), Normalisierung, Unifikation und Antiunifikation in Freien Monoiden (PDF), Univ. Karlsruhe, Germany...24 KB (3,058 words) - 12:23, 2 April 2024