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: |