RRLab : Rewrite Rule Labor
| Autor: | Thomas, Christoph |
|---|---|
| Jazyk: | němčina |
| Rok vydání: | 2023 |
| Předmět: |
Finite / unique termination
Rewrite rule system Normal form Superposition Inductionless induction Endliche / eindeutige Terminierung Knuth-Bendix Algorithmus Normalform Initial algebra approach Critical pair Abstract data type Unification Initiale Algebrasemantik Knuth-Bendix Algorithm Abstrakter Datentyp Kritisches Paar Unifikation Induktionslose Induktion |
| DOI: | 10.22028/d291-39665 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|