The Work

Real-time recognition of the inclusion relation

The details

The Author

Yuri Matiyasevich

The offers