Decidable Approximations of Sets of Descendants and Sets of Normal Forms - Sciweavers

38

click to vote

more RTA 1998 ...

hal.archives-ouvertes.fr

Tweet