Charles Explorer logo
🇨🇿

A note on finite sets of terms closed under subterms and unification

Publikace na Matematicko-fyzikální fakulta |
1997