Contents Menu

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 教養部