Term Rewriting Systems
| Autor: | Klop, J. W. |
|---|---|
| Přispěvatelé: | Abramsky, S., editor, Gabbay, Dov M., editor, Spurr, Jane |
| Zdroj: | Handbook of Logic in Computer Science. |
| Databáze: | Oxford Scholarship Online |
| Externí odkaz: |
|
| Autor: | Klop, J. W. |
|---|---|
| Přispěvatelé: | Abramsky, S., editor, Gabbay, Dov M., editor, Spurr, Jane |
| Zdroj: | Handbook of Logic in Computer Science. |
| Databáze: | Oxford Scholarship Online |
| Externí odkaz: |
|