Charles Explorer logo
🇬🇧

On a term rewriting system controlled by sequences of interes

Publication at Faculty of Mathematics and Physics |
2000