Login

Type of document: Typescript

Language: English

Author(s): Friedman, Harvey

Title: On Decidability of Equational Theories

Year: 1974

Pages: 1-4

Catalog