On a Decision Procedure for Residuated Semigroups
Journal of the Faculty of Liberal Arts, Yamaguchi University Volume 9
Page 155-158
published_at 1975-10
Title
On a Decision Procedure for Residuated Semigroups
Creators
Tamura Saburo
Source Identifiers
Languages
eng
Resource Type
departmental bulletin paper
Publishers
山口大学教養部
Date Issued
1975-10
File Version
Not Applicable (or Unknown)
Access Rights
metadata only access
Relations
[ISSN]0387-4060
[NCID]AN00244137
Schools
教養部