The Diamond Lemma for non-terminating rewriting systems using deterministic reduction strategies
Origine : Fichiers produits par l'(les) auteur(s)
Loading...