Equational Reasoning in Groups

U Martin

Research output: Other contribution

Original languageEnglish
PublisherUniversity of London. Royal Holloway and Bedford New College. Department of Computer Science
Publication statusPublished - 1990

Cite this