Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.
| Autor: | Durán, Francisco, Eker, Steven, Escobar, Santiago, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn |
|---|---|
| Zdroj: | Automated Reasoning (9783319402284); 2016, p183-192, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|